homologous_to
type: AnnotationProperty
has OBO namespace: relationship
type: ObjectProperty
type: SymmetricProperty

acts_on
type: ObjectProperty
comment: DEPRECATED Examples: Organismal growth acts_on organism; neuron migration acts_on neuron;
has OBO namespace: relationship
has definition: Definition
  label: A relation between a process and a continuant, where the continuant plays the role of the entity that is changed by that process. Instance: p acts_on c: exists Quality q, Time t and q inheres_in c at t, such that the continual unfolding of p results_in changes in q or maintenance of q; Type: all pP, exists cCt such that p acts_on c
has related synonym: has_direct_participant
has related synonym: unfolds_towards

gives_rise_to
type: ObjectProperty
comment: stronger version of influences?
has OBO namespace: relationship

has_central_participant
type: ObjectProperty
comment: DEPRECATED may be deprecated in favour of acts_on
has OBO namespace: relationship

has_input_participant
type: ObjectProperty
has OBO namespace: relationship

has_output_participant
type: ObjectProperty
has OBO namespace: relationship

has_passive_participant
type: ObjectProperty
has OBO namespace: relationship

has_result
type: ObjectProperty
comment: DEPRECATED
has OBO namespace: relationship
has related synonym: acts_towards
has definition: Definition
  label: p has_result c iff exists c' such that c derives_form c', c' exists at end of p, c' does not exist at beginning of p, c' participates_in p. Type: P has_result C iff for all pP, exists c such that p has_result c

has_specific_outcome
type: ObjectProperty
has OBO namespace: relationship

towards
type: ObjectProperty
has OBO namespace: relationship
sub property of: ObsoleteProperty

activates
type: ObjectProperty
has OBO namespace: relationship
sub property of: positively_regulates

acts_on_population_of
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition
  label: This is a class-level relation only. If P acts_on_population_of C, then: for all instances p of P, there exists some cp, t such that c instantiates CP at t, p has_central_participant cp, and CP is equivalent to population_of(C). For example: T-cell_proliferation acts_on_population_of T-cell - for all instances of T-cell_proliferation have a population of T-cells as central_participants

ancestral_copy_of
type: ObjectProperty
type: TransitiveProperty
has OBO namespace: relationship
has definition: x aco y iff x dco y OR x aco z and z aco y

applicable_to_taxon
type: ObjectProperty
comment: GO:0035188 hatching is relevant for the taxon Mammalia, because there are mammals that hatch - Monotremes (Monotremata, an order-ranked taxon under Mammalia) lay eggs, and presumably hatch as well. Hatching is neither valid for nor specific to Mammalia
has OBO namespace: relationship
has exact synonym: applicable_to
has definition: U relevant_for_taxon T: U is found in SOME organisms for SOME species in taxon T. up-propagates in U, up-propagates in T hierarchy
  type: Definition
  has db xref: ROC:Waclaw
    type: DbXref
    has URI: http://purl.org/obo/owl/ROC#ROC_Waclaw
has exact synonym: weakly_valid_for_taxon
has exact synonym: relevant_for_taxon

arises_from
type: ObjectProperty
comment: from CARO chapter
has OBO namespace: relationship
has alternative id: OBO_REL:derives_from
property chain axiom: succeeds
property chain axiom: buds_from

bearer_of
type: ObjectProperty
comment: Examples: red eye bearer_of redness
has OBO namespace: relationship
has alternative id: OBO_REL:0000027
has definition: A relation between an entity and a dependent continuant; the reciprocal relation of inheres_in
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has exact synonym: has_inherent
has exact synonym: has_inherer

begins_at_end_of
type: ObjectProperty
comment: we already have preceded_by - this would just appear to be immediately_preceded_by?
has OBO namespace: relationship
has definition: p1 begins_at_end_of p2 iff end_of(p2) = start_of(p1)

buds_from
type: ObjectProperty
comment: see CARO chapter
has OBO namespace: relationship

connected_to
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

contains_variant_of
type: ObjectProperty
comment: merge with variant_of?
has OBO namespace: relationship

costimulates_activation_of
type: ObjectProperty
comment: Example: process of providing, via surface-bound receptor-ligand pairs, a second, antigen-independent, signal in addition to that provided by the T cell receptor to augment T cell activation. NOTES: this is a placeholder relation; GO should define the basic genus terms necessary here
has OBO namespace: relationship

decreased_in_magnitude_compared_to
type: ObjectProperty
type: TransitiveProperty
has OBO namespace: relationship

dependent_on
type: ObjectProperty
comment: needs to be defined. Used in 10 xp defs
has OBO namespace: unassigned_relation

depends_on
type: ObjectProperty
comment: needs to be defined. Used in 1 xp defs
has OBO namespace: unassigned_relation
has OBO namespace: relationship
has definition: A depends_on B : all instances of A require B to exist

develops_from
type: ObjectProperty
type: TransitiveProperty
comment: Examples: eye develops_from eye disc; erythrocyte develops_from reticulocyte. Note that ontologies should use either derives_from or transformation_of where appropriate, but the develops_from relation can be used where one does not want to differentiate between these 2 cases
has OBO namespace: relationship
has alternative id: OBO_REL:0000038
has definition: Definition
  label: A relation between two continuants, C and D. C develops_from D if C derived_from D or C transformation_of D. On the class level: C develops from D if and only if, for any x and any time t, the following holds: if x instantiates C at time t, then 1. either for some time t1, x instantiates D at t1 and t1 precedes t, and there is no time interval t2 such that x instantiates C at t2 and x instantiates D at t2 ; 2. or for some time t1 , there is some y such that y instantiates D at t1 and x derived_from y. On the instance level: x develops_from y is indistinguishable from x derives_from y
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

develops_into
type: ObjectProperty
has OBO namespace: relationship

direct_copy_of
type: ObjectProperty
comment: copies may be perfect, partial, incomplete, erroneous. Examples: the relation between two strands of DNA, post-mitosis; or between strand1 and strand2+strand3 post-meiosis. Counterexamples: A human hand and the hand of a direct progenitor (it is the physical specification of the hand that is copied - unless we are Lamarkia
has OBO namespace: relationship
has related synonym: facsimile_of
has definition: x dco y iff

disposition_of
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

ends_at_beginning_of
type: ObjectProperty
has OBO namespace: relationship
has definition: p1 ends_at_beginning_of p2 iff end_of(p1) = start_of(p2)

ends_during
type: ObjectProperty
comment: Examples (continuants): neural_tube ends_during Pharyngula; Examples (processes): neural_tube_development ends_during Pharyngula
has OBO namespace: relationship
has definition: p ends_during s iff start_of(s) <= end_of(p) & end_of(p) <= end_of(s)

ends_during_or_before
type: ObjectProperty
has OBO namespace: relationship
has definition: p ends_before_end_of s iff end_of(p) <= end_of(s)
has exact synonym: ends_before_end_of

ends_earlier_than
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

evolutionarily_derived_from
type: ObjectProperty
type: TransitiveProperty
has OBO namespace: relationship
has related synonym: evolved_from
has related synonym: descended_from
has related synonym: derived_from
has definition: Instance 3-ary relation: x edf y as T iff x specified_by gx and gx ancestral_copy_of gy and gy specifies y

executed_in
type: ObjectProperty
has OBO namespace: relationship
has definition: Relation between a function and a continuant. F executed_in C iff forall p such that p realizes F, p unfolds_in some c, where c is an instance of C throughout p
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

exemplifies
type: ObjectProperty
comment: see Neuhaus et al Substances, Qualitiies Universals
has OBO namespace: relationship
has definition: A relation between an entity instance and a dependent entity type.

exists_during
type: ObjectProperty
comment: Examples:
has OBO namespace: relationship
has exact synonym: during
has definition: c exists_during p iff exists(t) & c exists-at t & start_of(p) <= t & t <= end_of(p)

function_of
type: ObjectProperty
comment: Example: 'to blood pump' function_of 'heart'
has OBO namespace: relationship
has alternative id: OBO_REL:0000030
sub property of: inheres_in
has definition: A relation between a function F and an entity E. F function_of E iff: Q inheres_in E and Q is a function
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

generically_inheres_in
type: ObjectProperty
has OBO namespace: relationship
has alternative id: OBO_REL:multiply_inheres_in
sub property of: inheres_in
has definition: Definition

specified_by
type: ObjectProperty
comment: Organism parts and organismal development is specified_by genetic information;
has OBO namespace: relationship
has definition: Instance level, between C/P and DC: x edf y iff x specified_by gx and gx transmitted_from gy and gy specifies y
has related synonym: encoded_by

specifies
type: ObjectProperty
comment: Hox genetic information species Development
has OBO namespace: relationship
has definition: Instance level: x edf y iff x specified_by gx and gx transmitted_from gy and gy specifies y
has related synonym: evolved_from
has related synonym: derived_from

happens_during
type: ObjectProperty
comment: Examples: formation of primary germ layer happens_during gastrulation. Distinct from part_of. part_of implies happens_during
has OBO namespace: relationship
has definition: p happens_during s iff start_of(s) <= start_of(p) & end_of(p) <= end_of(s)

happens_in_response_to
type: ObjectProperty
comment: Example: negative chemotaxis in response to octanol (see WBph)
has OBO namespace: relationship

has_aggregate_part
type: ObjectProperty
comment: Sourced from BIRN. Domain: bfo:ObjectAggregate
has OBO namespace: relationship

has_boundary
type: ObjectProperty
comment: Sourced from BIRN. Range: bfo:ObjectBoundary
has OBO namespace: relationship

has_disposition
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

has_duration
type: ObjectProperty
comment: Submitted by Liju Fan (OBI)
has OBO namespace: relationship
has definition: The relation that holds between a process or a processual entity and the length of the temporal interval between its beginning and its end.

has_enabler
type: ObjectProperty
comment: consider: OBO_REL:has_enabler
has OBO namespace: relationship
has db xref: OBOL:has_enabler
  type: DbXref
  has URI: http://purl.org/obo/owl/OBOL#OBOL_has_enabler
has definition: p has_enabler c iff c is required for the unfolding of p, and c is not consumed by p. Type: P has_enabler C iff for all pP, exists c such that p has_enabler c
has related synonym: has_catalyst

has_function
type: ObjectProperty
comment: heart has_function to-pump-blood
has OBO namespace: relationship
has alternative id: OBO_REL:0000031
sub property of: bearer_of
has definition: Relation between an independent continuant and a function.
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

has_function_realized_as_process
type: ObjectProperty
comment: Example: chlorenchyma cell has_function_realized_as_process GO:photosynthesis; P53 has_function_in DNA_Repair
has alternative id: OBO_REL:has_function_in
has OBO namespace: relationship
has db xref: URL:http://sourceforge.net/tracker/index.php?func=detail&aid=1825041&group_id=76834&atid=947684
  type: DbXref
  has URI: http://sourceforge.net/tracker/index.php
has definition: c has_function_realized_as_process some p <=> c has_function some (realized_as some p)
  type: Definition
  has db xref: ROC:alanr
    type: DbXref
    has URI: http://purl.org/obo/owl/ROC#ROC_alanr

has_input
type: ObjectProperty
comment: needs to be defined. Used in 9 xp defs
has OBO namespace: unassigned_relation

has_output
type: ObjectProperty
comment: Examples: secretory cells. Should this be has_function (export of ...)
has OBO namespace: relationship
has definition: C has_output C'
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

has_phenotype
type: ObjectProperty
comment: Human has_phenotype shape-of-skull; Spider has_phenotype structure-of-web
has OBO namespace: relationship
has alternative id: OBO_REL:0000037
has definition: Definition
  label: A relation between an organism and a quality or collection of qualities, such that those qualities are influenced in whole or part by the expression of genes in that organism. The qualities may inhere in (a) the organism itself, (b) parts of that organism, (c) entities derived from that organism, or (d) entities in the environment under the influence of the organism. Instance level: c has_phenotype q iff: exists t such that c has_part_or_derivative p at t and p has_quality q at t. For types: C has_phenotype Q iff: for any cCt, exists qQt such that q inheres_in c at t. Here, c has_part_or_derivative p at t means that c has_part(reflexive) p at t, or p derives_from c or some part_of c, or p arises through the actions of c
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

has_population_of
type: ObjectProperty
has OBO namespace: relationship
sub property of: has part

has_qualifier
type: ObjectProperty
comment: The requirements are for a relation between a quality and some kind of comparative modifiers. This could be seen as a reified relation; e.g. 'abnormal shape'. Currently the qualifier terms such as 'abnormal' live in PATO
has OBO namespace: relationship

has_quality
type: ObjectProperty
has alternative id: OBO_REL:0000029
has OBO namespace: relationship
sub property of: bearer_of
has definition: Definition
  label: A relation between an entity and a quality. For types: E has_quality Q iff: for any eEt, exists qQt such that q inheres_in e at t. For instances: e has_quality q at t iff q inheres_in e at t and q instance-of Quality
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

has_role
type: ObjectProperty
has alternative id: OBO_REL:0000033
has OBO namespace: relationship
sub property of: bearer_of
has definition: A relation between a continuant C and a role R. The reciprocal relation of role_of.
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

inactivates
type: ObjectProperty
has OBO namespace: relationship
sub property of: negatively_regulates

increased_in_magnitude_compared_to
type: ObjectProperty
type: TransitiveProperty
comment: a relation between two qualities. We assume a primitive magnitude function mg(q,U) => Number. q1 increased_in_magnitude_compared_to q2 at t <=> mg(q1,U) > mg(q2,U).
has OBO namespace: relationship
inverse of: decreased_in_magnitude_compared_to

increases_population_size_of
type: ObjectProperty
comment: needs to be defined. Used in 10 xp defs
has OBO namespace: unassigned_relation

influenced_by
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

influences
type: ObjectProperty
comment: mutated gene influences morphology; anxiety influences thigmotaxis
has OBO namespace: relationship
has definition: Definition
has related synonym: disposes_bearer_towards

inheres_in
type: ObjectProperty
type: FunctionalProperty
comment: This relation links qualities, functions, dispositions and other dependent continuants to their bearers. Examples: A particular shape that inheres in a lung; The redness that ineres in a Drosophila eye; Catalytic activity function inheres_in catalytic molecule. Note that inherence is a functional relation: if x inheres_in y at t and x inheres_in z at t, then y=z. We leave open the possibility of a relation multiply_inheres_in, such as between a gene sequence and the multiple chromosomes it multiply inheres in. The super-relation of both inheres_in and multiply_inheres_in would be depends_on
has alternative id: OBO_REL:0000026
has OBO namespace: relationship
sub property of: inheres_in_part_of
has exact synonym: has_bearer
has definition: Definition
  label: A relation between a dependent continuant D and an entity E. D inheres_in E iff: given any d that instantiates D at t, there exists some e that instantiates E at t and d *inheres_in* e at t. Here *inheres_in* is the primitive instance level relation.
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

inheres_in_part_of
type: ObjectProperty
has OBO namespace: relationship
property chain axiom: part of
property chain axiom: inheres_in

interacts_with
type: ObjectProperty
has OBO namespace: relationship

lacks_part
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

mediated_by
type: ObjectProperty
comment: needs to be defined. Used in 78 xp defs
has OBO namespace: unassigned_relation

negatively_regulates
type: ObjectProperty
has OBO namespace: relationship
sub property of: regulates
has definition: A regulation relation in which the unfolding of the regulating process *decreases* the frequency, rate or extent of the regulated process
property chain axiom: part of

negatively_regulates_timing_of
type: ObjectProperty
has OBO namespace: unassigned_relation

occurs_in
type: ObjectProperty
comment: DEPRECATED
comment: consider: OBO_REL:unfolds_in
has OBO namespace: unassigned_relation

occurs_with
type: ObjectProperty
comment: merge with OBO_REL:influences?
has OBO namespace: relationship

only_in_taxon
type: ObjectProperty
comment: down-propagates. The original name for this in the paper is 'specific_to'. GO:0001967 suckling behavior is specific to the taxon Mammalia, because no organisms other than mammals suckle (we believe). (The term is also trivially specific to the taxon Metazoa, because no organisms other than animals suckle.) Likewise, GO:0048046 apoplast is specific to Viridiplantae, because only plant cells have apoplasts (as far as we know). On the other hand, the term GO:0042711 maternal behavior is not specific to the taxon Mammalia, because many animals other than mammals demonstrate maternal behavior. Likewise, GO:0005576 extracellular region (of which apoplast is a child term) is not specific to Viridiplantae, because many organisms other than green plants have extracellular regions within their bodies.
has OBO namespace: relationship
has exact synonym: specific_to_taxon
has exact synonym: never_outside_taxon
has exact synonym: specific_to
has definition: Definition
  label: U only_in T: U is a feature found in only in organisms of species of taxon T. the feature cannot be found in an organism of any species outside of (not subsumed by) that taxon. down-propagates in U hierarchy, up-propagates in T hierarchy (species taxonomy). Implies applicable_to_taxon
  has db xref: ROC:Waclaw
    type: DbXref
    has URI: http://purl.org/obo/owl/ROC#ROC_Waclaw

overlaps
type: ObjectProperty
type: SymmetricProperty
has OBO namespace: relationship
has definition: Two objects are connected if they share a fiat boundary

positively_regulates
type: ObjectProperty
has OBO namespace: relationship
sub property of: regulates
property chain axiom: part of
has definition: A regulation relation in which the unfolding of the regulating process *increases* the frequency, rate or extent of the regulated process

positively_regulates_timing_of
type: ObjectProperty
has OBO namespace: unassigned_relation

quality_of
type: ObjectProperty
has alternative id: OBO_REL:0000028
has OBO namespace: relationship
sub property of: inheres_in
has definition: A relation between a quality Q and an entity E. Q quality_of E iff: Q inheres_in E and Q is a quality
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has exact synonym: is_quality_of

realized_by
type: ObjectProperty
comment: NOTE: there appears to be some consistency in usage as to whether processes or continuants realize
has OBO namespace: relationship
has alternative id: OBO_REL:0000035
has alternative id: OBO_REL:realized_as
has related synonym: executed_during
has exact synonym: has_realization
has definition: Relation between a realizable and a process. Reciprocal relation of realizes
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

realizes
type: ObjectProperty
comment: The process of 'histidine catabolism' (GO:0006548) realizes the function 'histidine ammonia lyase activity' (GO:0004397) (note: here 'activity' denotes a function and not a process). We leave open the possibility of defining in future the sub-relations directly_realizes (as bewteen a function and it's functioning) and indirectly_realizes. NOTE: there appears to be some consistency in usage as to whether processes or continuants realize
has OBO namespace: relationship
has alternative id: OBO_REL:0000034
has related synonym: executes
has definition: Definition
  label: Relation between a process and a function, where the unfolding of the process requires the execution of the function. Class level: P realizes F iff: given any p that instantiates P, there exists some f, t such that f instantiates F at t and p *realizes* f. Here, *realizes* is the primitive instance level relation
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has exact synonym: is_realization_of
has related synonym: involves_execution_of
has exact synonym: has_function_part

regulated_by
type: ObjectProperty
has OBO namespace: relationship

regulates
type: ObjectProperty
has OBO namespace: relationship
has definition: A relation between a process and a process or quality. A regulates B if the unfolding of A affects the frequency, rate or extent of B. A is called the regulating process, B the regulates process
property chain axiom: part of

regulates_levels_of
type: ObjectProperty
comment: needs to be defined. Used in 15 xp defs
has OBO namespace: unassigned_relation

regulates_population_size_of
type: ObjectProperty
comment: needs to be defined. Used in 7 xp defs
has OBO namespace: unassigned_relation

regulates_timing_of
type: ObjectProperty
has OBO namespace: relationship

relative_to
type: ObjectProperty
comment: required for defining classes such as 'ratio of root length to root shoot'
has OBO namespace: relationship

results_in_acquisition_of_features_of
type: ObjectProperty
comment: Example: Sertoli cell differentiation : The process whereby a relatively unspecialized cell acquires specialized structural and/or functional features of a Sertoli cell
has OBO namespace: relationship
has definition: Definition
  label: P results_in_acquisition_of_features_of C : P is_a process in which a participant acquires the qualities of a C. Formally: forall pP exists C' such that C transformation_of C', exists c such that c instantiates C' at start-of P and c instantiates C' at end-of P
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_addition_of
type: ObjectProperty
comment: Example: mRNA polyadenylation results_in_addition_of polyAtail to mRNA
has OBO namespace: relationship

results_in_addition_to
type: ObjectProperty
comment: Example: mRNA polyadenylation results_in_addition_of polyAtail to mRNA
has OBO namespace: relationship

results_in_adhesion_to
type: ObjectProperty
comment: DEPRECATED
comment: consider: OBO_REL:results_in_connection_of
has OBO namespace: relationship

results_in_attachment_of
type: ObjectProperty
comment: DEPRECATED
comment: consider: OBO_REL:results_in_connection_of
has OBO namespace: relationship

results_in_binding_of
type: ObjectProperty
comment: consider: OBO_REL:results_in_connection_of
comment: needs to be defined. Used in 1 xp defs
has OBO namespace: unassigned_relation

results_in_biogenesis_of
type: ObjectProperty
comment: TODO def
has OBO namespace: relationship
sub property of: has participant

results_in_breakdown_of
type: ObjectProperty
has OBO namespace: unassigned_relation

results_in_change_to
type: ObjectProperty
comment: TODO: define in terms of transformation_of
has OBO namespace: unassigned_relation
has exact synonym: results_in_transformation_of

results_in_closure_of
type: ObjectProperty
comment: Example: neural tube closure results_in_closure_of neural tube.
has OBO namespace: relationship
has definition: P results_in_closure_of C : forall pP exists cC such that a topological change occurs in c, whereby two parts of c, c1 and c2 become connected
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_commitment_to
type: ObjectProperty
comment: Example: eye photoreceptor cell fate commitment : The process whereby the developmental fate of a cell becomes restricted such that it will develop into an eye photoreceptor cell. A photoreceptor cell is a cell that responds to incident electromagnetic radiation. Different classes of photoreceptor have different spectral sensitivities and express different photosensitive pigments. NOTES: should we use specification_of instead?
has OBO namespace: relationship

results_in_complete_development_of
type: ObjectProperty
comment: Example: oenocyte development results_in_complete_development_of oenocyte. The process whose specific outcome is the progression of the oenocyte over time, from its formation to the mature structure. The oenocytes are large secretory cells found in clusters underlying the epidermis of larval abdominal segments. contrast with results_in_developmental_progression_of. P results_in_complete_development_of C only if a single instance of P *spans* the subprocesses formation of C through to maturation of C. each of those subprocesses results_in_developmental_progression_of C
has OBO namespace: relationship
has exact synonym: results_in_development_of
has definition: A relation between a process type P and a continuant type C, such that any instance of Pp has as outcome the progression of an instance of Cc, from the formation of c to the maturation of c
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_connection_of
type: ObjectProperty
comment: cell-matrix adhesion results_in_connection_of a cell AND results_in_connection_of a matrix. Note that it would be more convenient if we could make n-ary relations, cell-matrix adhesion results_in connection of matrix to cell; however, we must work with binary relations, so we create a single relation statement for every entity that becomes attached during the process
has OBO namespace: relationship
has definition: Definition
  label: P results_in_connection_of C1, P results_in_connection_of C2 : forall pP, at the end of p, there is some c1, c2 such that c1C1 and c2C2 and c1 connected_to c2, and c1 not connected_to c2 at the end of p
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_creation_of
type: ObjectProperty
comment: DEPRECATED
comment: consider: OBO_REL:results_in_formation_of
has OBO namespace: relationship

results_in_creation_or_release_of
type: ObjectProperty
comment: needs to be defined. Used in 20 xp defs
has OBO namespace: unassigned_relation

results_in_death_of
type: ObjectProperty
has OBO namespace: relationship

results_in_decrease_in
type: ObjectProperty
comment: reduction of cytosolic calcium ion concentration results_in_decrease_in concentration of calcium ions
has OBO namespace: relationship
has definition: P results_in_decrease_in Q : any P has some participant cC, such that c has_quality qQ, and the magnitude of q at start_of p < magnitude of q at end of p
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_determination_of
type: ObjectProperty
has OBO namespace: relationship

results_in_developmental_progression_of
type: ObjectProperty
comment: Example: nerve maturation = a developmental maturation that results in the developmental progression of a nerve. contrast with results_in_complete_development_of.
has OBO namespace: relationship
has definition: P results_in_developmental_progression_of C : any instance of P spans part of the development of some C. Formally: forall pP, p part_of some P', and P' results_in_complete_development_of C
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
property chain axiom: part of
property chain axiom: results_in_complete_development_of

results_in_division_of
type: ObjectProperty
comment: guard mother cell cytokinesis results_in_division_of guard mother cell : The stereotyped symmetric cell division by which guard mother cell give rise to stomatal guard cells.
has OBO namespace: relationship
has exact synonym: results_in_fission_of
has definition: P results_in_division_of C : any instance of C (c1) divides giving rise to two continuants c2 and c3 of type C' and C''. C' derives_from C, C'' derives_from C
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has db xref: UCDHSC:results_in_division_of
  type: DbXref
  has URI: http://purl.org/obo/owl/UCDHSC#UCDHSC_results_in_division_of

results_in_formation_of
type: ObjectProperty
comment: Example: autophagic vacuole formation results_in_formation_of autophagic vacuole. macromolecular complex assembly results_in_formation_of a macromolecule. Note: essentially the same as biosynthesis, although in biosynthesis the assembly is via chemical reactions
has OBO namespace: relationship
sub property of: results_in_developmental_progression_of
has definition: Definition
  label: P results_in_formation_of C : any instance of P gives rise to a C from the parts of C. Formally: forall pP, exists some c such that c instantiates C at end-of p, and c has some parts c1, c2, ... such that the parts are connected at the end-of p and disconected at the start-of p
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has exact synonym: results_in_assembly_of
has exact synonym: results_in_creation_of

results_in_fusion_of
type: ObjectProperty
comment: guard mother cell cytokinesis results_in_division_of guard mother cell : The stereotyped symmetric cell division by which guard mother cell give rise to stomatal guard cells.
has OBO namespace: relationship
has definition: P results_in_fusion_of C : two instances of C (c1, c2) join together to become a single instance c of C' over the course of any P. C' derives_from C
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has exact synonym: results_in_joining_of
has db xref: UCDHSC:results_in_division_of
  type: DbXref
  has URI: http://purl.org/obo/owl/UCDHSC#UCDHSC_results_in_division_of

results_in_increase_in
type: ObjectProperty
comment: elevation of cytosolic calcium ion concentration results_in_increase_in concentration of calcium ions
has OBO namespace: relationship
has definition: P results_in_increase_in Q : any P has some participant cC, such that c has_quality qQ, and the magnitude of q at start_of p > magnitude of q at end of p
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_increase_in_mass_of
type: ObjectProperty
comment: DEPRECATED
has OBO namespace: relationship
has definition: P results_in_increase_in_mass_of C : any P has some participant cC, such that c has_quality q and q instantiates PATO:mass, and the magnitude of q at start_of p < magnitude of q at end of p
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_increased_mass_of
type: ObjectProperty
comment: DEPRECATED
has OBO namespace: relationship
sub property of: ObsoleteProperty

results_in_localization_of
type: ObjectProperty
comment: nuclear pore localization results_in_localization_of nuclear pore : The processes by which nuclear pores are transported to, or maintained in, a specific location.
has OBO namespace: relationship
has definition: P results_in_localization_of C : **TODO** - compare and contrast with maintenance of localization, and transportation
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_maturation_of
type: ObjectProperty
comment: A developmental process, independent of morphogenetic (shape) change, that is required for x to attain its fully functional state
has OBO namespace: relationship
sub property of: has participant
has definition: p results_in_maturation_of c : exists f such that f instantiates F, p instantiates P, c participates_in p and c lacks_function f at start_of(p) and c has_function(f) at end_of(p), and P has_function F
  type: Definition
  has db xref: URL:http://www.geneontology.org/GO.process.guidelines.shtml#mat
    type: DbXref
    has URI: http://www.geneontology.org/GO.process.guidelines.shtml#mat
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
  has db xref: GOC:curators
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_curators

results_in_morphogenesis_of
type: ObjectProperty
comment: x morphogenesis: The process by which the anatomical structures of x are generated and organized. Morphogenesis pertains to the creation of form.
has OBO namespace: relationship
sub property of: has participant

results_in_movement_of
type: ObjectProperty
comment: Example: dendritic cell chemotaxis results_in_movement_of dendritic cell : The movement of a dendritic cell in response to an external stimulus
has OBO namespace: relationship
has definition: P results_in_movement_of C : forall pP, there exists some cC such that location_of(c) at start_of(P) NOT= location_of(c) at end_of(P)
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_negative_selection_of
type: ObjectProperty
comment: Example: B cell selection : process dependent upon B cell antigen receptor signaling in response to self or foreign antigen through which B cells are selected for survival. Placeholder relation. Perhaps better done using a more basic genus term?
has OBO namespace: relationship

results_in_organization_of
type: ObjectProperty
comment: The process that gives rise to the structural organization of an anatomical structure. This process pertains to the physical shaping of a rudimentary structure. Anatomical structures can be macroscopic such as a carpel, or microscopic such as an acrosome. [from GO:0048532]
has OBO namespace: relationship
sub property of: has participant

results_in_patterning_for
type: ObjectProperty
comment: needs to be defined. Used in 17 xp defs
has OBO namespace: unassigned_relation

results_in_positive_selection_of
type: ObjectProperty
comment: Example: B cell selection : process dependent upon B cell antigen receptor signaling in response to self or foreign antigen through which B cells are selected for survival. Placeholder relation. Perhaps better done using a more basic genus term?
has OBO namespace: relationship

results_in_release_from
type: ObjectProperty
comment: Example: basophil degranulation results_in_release_from basophil: The regulated exocytosis of secretory granules containing preformed mediators such as histamine, serotonin, and neutral proteases by a basophil
has OBO namespace: relationship
has definition: p results_in_release_from b : exists a, a located_in b at t1, and not(a located_in b) at t2, where start_of(p)=t1 and end_of(p)=t2
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_release_of
type: ObjectProperty
comment: Example: basophil degranulation results_in_release_of secretory granule: The regulated exocytosis of secretory granules containing preformed mediators such as histamine, serotonin, and neutral proteases by a basophil. Serotonin secretion. Parturition.
has OBO namespace: relationship
has definition: p results_in_release_of a : exists b, a located_in b at t1, and not(a located_in b) at t2, where start_of(p)=t1 and end_of(p)=t2
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_remodeling_of
type: ObjectProperty
comment: see: neuron remodeling, bone remodeling, tissue remodeling. This is a placeholder relation; defs that use this should be changed to state exactly what happens in the remodeling
has OBO namespace: relationship

results_in_removal_from
type: ObjectProperty
has OBO namespace: relationship

results_in_removal_of
type: ObjectProperty
comment: Example: sperm nuclear envelope removal : Removal of the sperm nuclear envelope, allowing entry of maternal factors into the sperm nucleus
has OBO namespace: relationship

results_in_secretion_of_granules_from
type: ObjectProperty
comment: replace with release_of/release_from using the GO term for secretory granules
has OBO namespace: relationship
sub property of: ObsoleteProperty

results_in_selection_of
type: ObjectProperty
comment: Example: B cell selection : process dependent upon B cell antigen receptor signaling in response to self or foreign antigen through which B cells are selected for survival. Placeholder relation. Perhaps better done using a more basic genus term?
has OBO namespace: relationship

results_in_specification_of
type: ObjectProperty
has OBO namespace: relationship

results_in_structural_change_to
type: ObjectProperty
comment: nuclear envelope disassembly results_in_structural_change_to nuclear envelope : The controlled breakdown of the nuclear envelope in the context of a normal process
has OBO namespace: relationship
has definition: P results_in_structural_change_to C : forall pP, there is some instance c of C such that c has some structural quality at start_of p that changes over the course of p
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_structural_organization_of
type: ObjectProperty
comment: x structural_organization: The process that contributes to creating the structural organization of x. This process pertains to the physical shaping of a rudimentary structure.
has OBO namespace: relationship
sub property of: has participant

results_in_transformation_to
type: ObjectProperty
comment: TODO: define in terms of transformation_of
has OBO namespace: unassigned_relation

results_in_transport_across
type: ObjectProperty
has OBO namespace: relationship

results_in_transport_along
type: ObjectProperty
comment: Example: GO:0047497 mitochondrion transport along microtubule. The transported continuant is adjacent_to the larger continuant for the duration of the process
has OBO namespace: relationship
sub property of: results_in_transport_involving

results_in_transport_from
type: ObjectProperty
comment: Example: ovarian nurse cell to oocyte transport : results_in_transport_from nurse cell. Transfer of constituents synthesized in the ovarian nurse cells to the oocyte, through the ring canals, as the egg chamber is growing. 'multi-stops' are counted as separate processes
has OBO namespace: relationship
sub property of: results_in_transport_involving
has definition: P results_in_transport_from C : forall pP, there exists some c' such that located_in C at start_of(p) and not(c' located_in C at end_of(p))
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_transport_involving
type: ObjectProperty
comment: Directed movement to, from or across. Example: peroxisomal membrane transport - directed movement of substances to, from or across the peroxisomal membrane. Note: excludes targeting
has OBO namespace: relationship
has exact synonym: results_in_targeting_to_from_or_across

results_in_transport_of
type: ObjectProperty
comment: DEPRECATE?
comment: consider: OBO_REL:results_in_movement_of
has OBO namespace: unassigned_relation

results_in_transport_to
type: ObjectProperty
comment: Example: ovarian nurse cell to oocyte transport : results_in_transport_to oocyte. Transfer of constituents synthesized in the ovarian nurse cells to the oocyte, through the ring canals, as the egg chamber is growing. Note: a single process can only result_in_transport_to a single end location. 'multi-stops' are counted as separate processes
has OBO namespace: relationship
sub property of: results_in_transport_involving
has definition: P results_in_transport_to C : forall pP, there exists some c' such that c' located_in C at end_of(p) and not(c' located_in C at start_of(p))
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

results_in_transport_towards
type: ObjectProperty
comment: Example: GO:0006626
has OBO namespace: relationship
has exact synonym: results_in_targeting_to

role_of
type: ObjectProperty
comment: Example: 'to blood pump' function_of 'heart'
has alternative id: OBO_REL:0000032
has OBO namespace: relationship
sub property of: inheres_in
has definition: A relation between a role R and an entity E. R role_of E iff: R inheres_in E and R is a role
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

simultaneous_with
type: ObjectProperty
comment: Examples:
has OBO namespace: relationship
has definition: p1 simultaneous_with p1 iff start_of(p1) = start_of2(p2) & end_of(p1) = end_of(p2)

specifically_inheres_in
type: ObjectProperty
has OBO namespace: relationship
sub property of: inheres_in
sub property of: ObsoleteProperty
has definition: Definition

starts_during
type: ObjectProperty
comment: Examples (continuants): neural_tube starts_during Segmentation; Examples (processes): neural_tube_development starts_during Segmentation
has OBO namespace: relationship
has narrow synonym: starts_to_exist_during
has definition: p starts_during s iff start_of(s) <= start_of(p) & start_of(p) <= end_of(s)

starts_during_or_after
type: ObjectProperty
has OBO namespace: relationship
has definition: p starts_during_or_after s iff start_of(s) <= start_of(p)
has exact synonym: start
  type: Synonym
  has db xref: ZFA:*
    type: DbXref
    has URI: http://purl.org/obo/owl/ZFA#ZFA_*
has exact synonym: starts_after_beginning_of
property chain axiom: results_in_complete_development_of
property chain axiom: part of
property chain axiom: starts_during

starts_earlier_than
type: ObjectProperty
has OBO namespace: relationship
has definition: Definition

stimulates
type: ObjectProperty
has OBO namespace: relationship

subslice_of
type: ObjectProperty
comment: Necessary for 'time-sliced' representations. Examples: this eye at t1 subslice_of this eye during its entire existence
has OBO namespace: relationship

succeeds
type: ObjectProperty
comment: not inverse of precedes?
has OBO namespace: relationship

surrounded_by
type: ObjectProperty
has OBO namespace: relationship

surrounds
type: ObjectProperty
has OBO namespace: relationship

time_restricted_part_of
type: ObjectProperty
comment: get def from CARO chapter
has OBO namespace: relationship
has definition: Definition

towards
type: ObjectProperty
comment: Examples: sensitivity towards chlorine; the PATO:concentration of a liquid with respect to some chemical entity type
has OBO namespace: relationship
has alternative id: OBO_REL:0000036
has related synonym: depends_on
has definition: A relation between a relational quality and an entity type. Q towards E iff: for any qQt, q towards E at t.
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm
has related synonym: to
has related synonym: with respect to
has related synonym: directed to

unfolds_around
type: ObjectProperty
comment: Example: chromatin silencing at centromere unfolds_around centromere : Repression of transcription of centromeric DNA by the formation of heterochromatin.
has OBO namespace: relationship
has definition: P unfolds_around C : the execution of P spatially contains by C.
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

unfolds_in
type: ObjectProperty
comment: Example: oocyte axis determination : The establishment, maintenance and elaboration of an axis in the oocyte. This process unfolds_in the oocyte
has OBO namespace: relationship
has definition: P unfolds_in C : the execution of P is spatially contained by C. forall pP, forall c' partipates_in p, c' located_in C at t, for some t in P
  type: Definition
  has db xref: GOC:cjm
    type: DbXref
    has URI: http://purl.org/obo/owl/GOC#GOC_cjm

valid_for_taxon
type: ObjectProperty
comment: Examples: sucking behavior valid_for Mammalia (and trivially valid for Metazoa, Eukaryota). Counter-examples: GO:0031987 locomotion during locomotory behavior is not valid for Viridiplantae, because there are species of green plants that never locomote during locomotory behavior
has OBO namespace: relationship
has definition: U valid_for_taxon T: for ALL species in taxon T, U is a feature found in SOME organism of that species. up-propagates in U hierachy. down-propagates in T hierarchy (species taxonomy)
  type: Definition
  has db xref: ROC:Waclaw
    type: DbXref
    has URI: http://purl.org/obo/owl/ROC#ROC_Waclaw

variant_of
type: ObjectProperty
has OBO namespace: relationship