format-version: 1.2
synonymtypedef: formal_name "an exact synonym that conforms to a formal naming style that may not be appropriate for the human-friendly name"

[Typedef]
id: OBO_REL_C:0000002
name: part_of
namespace: relationship
def: "[Instance level: part_of on the instance level is a primitive relation, holding either atemporally between two process instances or temporally between two continuant instances] Between types: For continuants: C <i>part_of</i> C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c <b>part_of</b> c' at t. For processes: P <i>part_of</i> P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p <b>part_of</b> p' at t. (Here <b>part_of</b> is the instance-level part-relation, @OBO_REL_I:0000002@)." [PMID:15892874]
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
comment: [Instance level: ] Between types:  Example: mitochondrial matrix part_of mitochodrion.  Example: transcription part_of gene expression.  Example: cell nucleus part_of cell.  Example: heart ventricle part_of heart.  Example: mitochondrial matrix part_of mitochodrion.  Example: transcription part_of gene expression.  Example: cell nucleus part_of cell.  Example: heart ventricle part_of heart. 
example: cell nucleus part_of cell.  (source: GO)
example: heart ventricle part_of heart.  (source: MA)
example: mitochondrial matrix part_of mitochodrion.  (source: GO)
example: transcription part_of gene expression.  (source: GO)
synonym: "part_of_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000002  ! part_of

[Typedef]
id: OBO_REL_C:0000003
name: has_part
namespace: relationship
def: "C has_part_some C' if and only if: given any c that instantiates C at a time t, there is some c' such that c' instantiates C' at time t, and c *has_part* c' at t. For processes: P has_part_some P' if and only if: given any p that instantiates P at a time t, there is some p' such that p' instantiates P' at time t, and p *has_part* p' at t. (Here *has_part* is the instance-level part-relation, @OBO_REL_I:0000003@)" []
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
comment: [Instance level: ] Between types:  Example: nucleate cell has_part nucleus.  Example: cell has_part cytoplasm.  Example: nucleate cell has_part nucleus.  Example: cell has_part cytoplasm. 
example: cell has_part cytoplasm.  (source: GO)
example: nucleate cell has_part nucleus.  (source: CL)
synonym: "has_part_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000003  ! has_part

[Typedef]
id: OBO_REL_C:0000004
name: integral_part_of
namespace: relationship
def: "C integral_part_of C' if and only if: C part_of C' AND C' has_part C" [PMID:15892874]
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
inverse_of: OBO_REL_C:0000005  ! has_integral_part
comment:  Example: heart morphogenesis integral_part_of heart development.  Example: heart morphogenesis integral_part_of heart development. 
example: heart morphogenesis integral_part_of heart development.  (source: GO)
synonym: "integral_part_of" EXACT formal_name []
is_a: OBO_REL_C:0000002  ! part_of
formula: "\n(<=> \n (OBO_REL_C:0000004 ?X ?Y\n ) \n (and \n  (OBO_REL_C:0000002 ?X ?Y\n  ) \n  (OBO_REL_C:0000003 ?Y ?X\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_C:0000005
name: has_integral_part
namespace: relationship
def: "Type level inverse of integral_part_of. C has_integral_part C' if and only if: C has_part C' AND C' part_of C" []
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
comment: 
synonym: "has_integral_part" EXACT formal_name []
is_a: OBO_REL_C:0000003  ! has_part
formula: "\n(<=> \n (OBO_REL_C:0000005 ?X ?Y\n ) \n (and \n  (OBO_REL_C:0000002 ?Y ?X\n  ) \n  (OBO_REL_C:0000003 ?X ?Y\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_C:0000006
name: proper_part_of
namespace: relationship
def: "[Instance level: As for part_of, with the additional constraint that subject and object are distinct] Between types: As for part_of_some, with the additional constraint that subject and object are distinct" [PMID:15892874]
is_transitive: true
comment: [Instance level: ] Between types: 
synonym: "proper_part_of_some" EXACT formal_name []
is_a: OBO_REL_C:0000002  ! part_of

[Typedef]
id: OBO_REL_C:0000007
name: has_proper_part
namespace: relationship
is_transitive: true
comment: [Instance level: ] Between types: 
synonym: "has_proper_part_some" EXACT formal_name []
is_a: OBO_REL_C:0000003  ! has_part

[Typedef]
id: OBO_REL_C:0000008
name: located_in
namespace: relationship
def: "[Instance level: Primitive] Between types: C located_in_some C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *located_in* c'. (Here *located_in* is the instance-level location relation.)" []
is_transitive: true
is_reflexive: true
comment: [Instance level: ] Between types: 
synonym: "located_in_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000008  ! located_in

[Typedef]
id: OBO_REL_C:0000009
name: location_of
namespace: relationship
def: "C location_of_some C' if and only if: given any c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c *location_of* c'. (Here *location_of* is the instance-level location relation, @OBO_REL_I:0000009@.)" []
is_transitive: true
is_reflexive: true
comment: [Instance level: ] Between types: 
synonym: "location_of_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000009  ! location_of

[Typedef]
id: OBO_REL_C:0000010
name: contained_in
namespace: relationship
def: "[Instance level: c contained_in c' at t if and only if: c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)] Between types: C contained_in_some C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)" [PMID:15892874]
comment: [Instance level: ] Between types: 
synonym: "contained_in_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000010  ! contained_in

[Typedef]
id: OBO_REL_C:0000011
name: contains
namespace: relationship
comment: 
synonym: "contains_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000012
name: adjacent_to
namespace: relationship
def: "[Instance level: c adjacent to c' if and only if: c and c' are in spatial proximity] Between types: C adjacent to C' if and only if: given any instance c that instantiates C at a time t, there is some c' such that: c' instantiates C' at time t and c and c' are in spatial proximity" [PMID:15892874]
comment: [Instance level: ] Between types: 
synonym: "adjacent_to_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000012  ! adjacent_to

[Typedef]
id: OBO_REL_C:0000013
name: transformation_of
namespace: relationship
def: "Relation between two classes, in which instances retain their identity yet change their classification by virtue of some kind of transformation. Formally: C transformation_of C' if and only if given any c and any t, if c instantiates C at time t, then for some t', c instantiates C' at t' and t' earlier t, and there is no t2 such that c instantiates C at t2 and c instantiates C' at t2." [PMID:15892874]
is_transitive: true
comment: 
synonym: "transformation_of" EXACT formal_name []
xref: http://genomebiology.com/content/figures/gb-2005-6-5-r46-2-l.jpg
formula: "\n(<=> \n (OBO_REL_C:0000013 ?C ?C1\n ) \n (=> \n  (OBO_REL_I:0000023 ?c ?C ?t\n  ) \n  (exists ?t1 \n   (and \n    (OBO_REL_I:0000023 ?c ?C1 ?t1\n    ) \n    (earlier_than ?t1 ?t\n    ) \n    (not \n     (exists ?t2 \n      (and \n       (OBO_REL_I:0000023 ?c ?C ?t2\n       ) \n       (OBO_REL_I:0000023 ?c ?C1 ?t2\n       )\n      )\n     )\n    )\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_C:0000015
name: derives_from
namespace: relationship
def: "C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. C derives_from_some C' if and only if: there is an chain of immediate derivation relations connecting C to C'." [PMID:15892874]
is_transitive: true
comment: 
synonym: "derived_from" EXACT []
synonym: "derives_from_some" EXACT formal_name []
xref: http://genomebiology.com/content/figures/gb-2005-6-5-r46-3.jpg

[Typedef]
id: OBO_REL_C:0000017
name: preceded_by
namespace: relationship
def: "P preceded_by_some P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t. " [PMID:15892874]
is_transitive: true
comment: 
synonym: "preceded_by_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000019
name: has_participant
namespace: relationship
def: "[Instance level: Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time.] Between types: P has_participant_some C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t" [PMID:15892874]
comment: [Instance level: ] Between types: 
synonym: "has_participant_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000020
name: participates_in
namespace: relationship
def: "C participates_in_some P if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c participates in p at t" []
comment: [Instance level: ] Between types: 
synonym: "participates_in_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000021
name: has_agent
namespace: relationship
def: "[Instance level: As for has_participant, but with the additional condition that the component instance is causally active in the relevant process] Between types: P has_agent_some C if and only if: given any process p that instantiates P there is some continuant c, and some time t, such that: c instantiates C at t and c has_agent p at t" [PMID:15892874]
comment: [Instance level: ] Between types: 
synonym: "has_agent_some" EXACT formal_name []
is_a: OBO_REL_C:0000019  ! has_participant

[Typedef]
id: OBO_REL_C:0000022
name: agent_in
namespace: relationship
comment: [Instance level: ] Between types: 
synonym: "agent_in_some" EXACT formal_name []
is_a: OBO_REL_C:0000020  ! participates_in

[Typedef]
id: OBO_REL_C:0000026
name: inheres_in
namespace: relationship
def: "[Instance level: A primitive relation that holds between a dependent continuant instance and a bearer] Between types: 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, OBO_REL_I:0000026." []
comment: [Instance level: ] Between types: 
synonym: "inheres_in_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000026  ! inheres_in

[Typedef]
id: OBO_REL_C:0000027
name: bearer_of
namespace: relationship
def: "[Instance level: A relation between an entity and a dependent continuant; the reciprocal relation of inheres_in] Between types: C bearer_of_some DC if and only if : given any continuant c that instantiates C at t, there exists some c that instantiates C at t and d *inheres_in* c at t. Here *inheres_in* is the primitive instance level relation, @OBO_REL_I:0000026@." []
comment: [Instance level: ] Between types: 
synonym: "bearer_of_some" EXACT formal_name []
synonym: "has_inherent" EXACT []
synonym: "has_inherer" EXACT []
all_some_all_times: OBO_REL_I:0000027  ! bearer_of

[Typedef]
id: OBO_REL_C:0000028
name: quality_of
namespace: relationship
def: "[Instance level: A relation between a quality Q and an entity E. Q quality_of E iff: Q inheres_in E and Q is a quality] Between types: A relation between a quality Q and an entity E. Q quality_of_some E iff: Q inheres_in E and Q is a quality" []
comment: [Instance level: ] Between types: 
synonym: "is_all_quality_of" EXACT []
synonym: "quality_of_some" EXACT formal_name []
is_a: OBO_REL_C:0000026  ! inheres_in
all_some_all_times: OBO_REL_I:0000028  ! quality_of

[Typedef]
id: OBO_REL_C:0000029
name: has_quality
namespace: relationship
def: "[Instance level: 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] Between types: A relation between an entity and a quality. For types: E has_quality_some Q iff: for any eEt, exists qQt such that q inheres_in e at t. For instances: e has_quality_some q at t iff q inheres_in e at t and q instance-of Quality" []
comment: [Instance level: ] Between types: 
synonym: "has_quality_some" EXACT formal_name []
is_a: OBO_REL_C:0000027  ! bearer_of
all_some_all_times: OBO_REL_I:0000029  ! has_quality

[Typedef]
id: OBO_REL_C:0000030
name: function_of
namespace: relationship
def: "[Instance level: f function_of c at t iff : f inheres_in c at t and f instantiates a function] Between types: F function_of C iff : for any f, t such that f instantiates F at t, there exists some c such that c instantiates C at t and f *function_of* C at t" []
comment: [Instance level: ] Between types: 
synonym: "function_of_some" EXACT formal_name []
is_a: OBO_REL_C:0000026  ! inheres_in
all_some_all_times: OBO_REL_I:0000030  ! function_of

[Typedef]
id: OBO_REL_C:0000031
name: has_function
namespace: relationship
def: "[Instance level: Relation between an independent continuant and a function.] Between types: Relation between an independent continuant and a function." []
comment: [Instance level: ] Between types: 
synonym: "has_function_some" EXACT formal_name []
is_a: OBO_REL_C:0000027  ! bearer_of
all_some_all_times: OBO_REL_I:0000031  ! has_function

[Typedef]
id: OBO_REL_C:0000032
name: role_of
namespace: relationship
def: "[Instance level: A relation between a role r and a continuant c. r role_of c at t iff: r inheres_in c at t and r instance_of Role at t] Between types: A relation between a role R and an entity E. R role_of_some E iff: R inheres_in_some E and R is_a role" []
comment: [Instance level: ] Between types: 
synonym: "role_of_some" EXACT formal_name []
is_a: OBO_REL_C:0000026  ! inheres_in
all_some_all_times: OBO_REL_I:0000032  ! role_of

[Typedef]
id: OBO_REL_C:0000033
name: has_role
namespace: relationship
def: "[Instance level: A relation between a continuant C and a role R. The inverse_of role_of.] Between types: A relation between a continuant C and a role R. The reciprocal relation of role_of." []
comment: [Instance level: ] Between types: 
synonym: "has_role_some" EXACT formal_name []
is_a: OBO_REL_C:0000027  ! bearer_of
all_some_all_times: OBO_REL_I:0000033  ! has_role

[Typedef]
id: OBO_REL_C:0000034
name: realizes
namespace: relationship
def: "[Instance level: Relation between a process and a realizable entity] Between types: Relation between a process and a realizable entity. P /realizes_some/ 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" []
comment: [Instance level: ] Between types: 
synonym: "has_function_part" NARROW []
synonym: "is_realization_of" NARROW []
synonym: "realization_of" NARROW []
synonym: "realizes_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000035
name: realized_by
namespace: relationship
def: "[Instance level: Relation between a realizable entity (such as a function or role) and a process.] Between types: F realized_by P iff every instance of F is realized_by some instance of P" []
comment: [Instance level: ] Between types: 
synonym: "executed_during" RELATED []
synonym: "has_realization" NARROW []
synonym: "realized_by_some" EXACT formal_name []

[Typedef]
id: OBO_REL_C:0000064
name: occurs_in_some
namespace: relationship
comment: [Instance level: ] Between types: 
synonym: "occurs_in_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000064  ! occurs_in
holds_over_chain: OBO_REL_C:0000019 OBO_REL_C:0000008  ! located_in

[Typedef]
id: OBO_REL_C:0000201
name: overlaps
namespace: relationship
is_reflexive: true
comment: [Instance level: ] Between types: 
example: uterine tract overlaps urogenital system  but NOT urogenital system overlaps uterine tracts. 
synonym: "overlaps_some" EXACT formal_name []
all_some_all_times: OBO_REL_I:0000201  ! overlaps

[Typedef]
id: OBO_REL_I:0000002
name: part_of
namespace: relationship
def: "part_of on the instance level is a primitive relation, holding either atemporally between two process instances or temporally between two continuant instances" [PMID:15892874]
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
inverse_of: OBO_REL_I:0000003  ! has_part
comment: 
example: John Doe's Heart part_of John Doe's Body t1. 
example: John Doe's childhood part_of John Doe's lifespan. 
synonym: "is_part_of" EXACT []
synonym: "part_of" EXACT formal_name []
formula: "\n(=> \n (OBO_REL_I:0000002 ?x ?y ?w\n ) \n (and \n  (OBO_REL_I:0000023 ?x Continuant\n  ) \n  (OBO_REL_I:0000023 ?y Continuant\n  ) \n  (OBO_REL_I:0000023 ?w TemporalInstant\n  )\n )\n)" KIF []
formula: "\n(=> \n (OBO_REL_I:0000002 ?x ?y ?w\n ) \n (and \n  (OBO_REL_I:0000040 ?x ?w\n  ) \n  (OBO_REL_I:0000040 ?y ?w\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000003
name: has_part
namespace: relationship
is_transitive: true
is_reflexive: true
is_anti_symmetric: true
inverse_of: OBO_REL_I:0000002  ! part_of
comment: 
synonym: "has_part" EXACT formal_name []

[Typedef]
id: OBO_REL_I:0000006
name: proper_part_of
namespace: relationship
def: "As for part_of, with the additional constraint that subject and object are distinct" [PMID:15892874]
is_transitive: true
inverse_of: OBO_REL_I:0000007  ! has_proper_part
comment: 
synonym: "proper_part_of" EXACT formal_name []
is_a: OBO_REL_I:0000002  ! part_of
formula: "\n(<=> \n (OBO_REL_I:0000006 ?x ?y\n ) \n (and \n  (OBO_REL_I:0000002 ?x ?y\n  ) \n  (not \n   (OBO_REL_I:0000002 ?y ?x\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000007
name: has_proper_part
namespace: relationship
def: "As for has_part, with the additional constraint that subject and object are distinct" []
is_transitive: true
inverse_of: OBO_REL_I:0000006  ! proper_part_of
comment: 
synonym: "has_proper_part" EXACT formal_name []
is_a: OBO_REL_I:0000003  ! has_part

[Typedef]
id: OBO_REL_I:0000008
name: located_in
namespace: relationship
def: "Primitive" [PMID:15892874, PMID:15892874]
is_transitive: true
is_reflexive: true
inverse_of: OBO_REL_I:0000009  ! location_of
comment: 
synonym: "located_in" EXACT formal_name []
domain: Continuant 
range: IndependentContinuant 
formula: "\n(<=> \n (OBO_REL_I:0000008 ?c ?c1\n ) \n (OBO_REL_I:0000002 \n  (regionFn ?c\n  ) \n  (regionFn ?c1\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000009
name: location_of
namespace: relationship
is_transitive: true
is_reflexive: true
inverse_of: OBO_REL_I:0000008  ! located_in
comment: 
synonym: "location_of" EXACT formal_name []
domain: Continuant 
range: Continuant 

[Typedef]
id: OBO_REL_I:0000010
name: contained_in
namespace: relationship
def: "c contained_in c' at t if and only if: c located_in c' at t, and it is not the case that c *overlaps* c' at t. (c' is a conduit or cavity.)" [PMID:15892874]
inverse_of: OBO_REL_I:0000011  ! contains
comment: 
synonym: "contained_in" EXACT formal_name []
domain: IndependentContinuant 
range: IndependentContinuant 
formula: "\n(<=> \n (OBO_REL_I:0000010 ?x ?y ?t\n ) \n (and \n  (OBO_REL_I:0000008 ?x ?y ?t\n  ) \n  (not \n   (OBO_REL_I:0000201 ?x ?y ?t\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000011
name: contains
namespace: relationship
inverse_of: OBO_REL_I:0000010  ! contained_in
comment: 
synonym: "contains" EXACT formal_name []

[Typedef]
id: OBO_REL_I:0000012
name: adjacent_to
namespace: relationship
def: "c adjacent to c' if and only if: c and c' are in spatial proximity" []
is_symmetric: true
comment: 
synonym: "adjacent_to" EXACT formal_name []
domain: IndependentContinuant 
range: IndependentContinuant 
formula: "\n(=> \n (OBO_REL_I:0000012 ?x ?y\n ) \n (not \n  (OBO_REL_I:0000201 ?x ?y\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000015
name: derives_from
namespace: relationship
def: "Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later." [PMID:15892874]
is_transitive: true
inverse_of: OBO_REL_I:0000016  ! derived_into
comment: 
synonym: "derived_from" EXACT []
synonym: "derives_from" EXACT formal_name []
domain: Continuant 
range: Continuant 
formula: "\n(=> \n (OBO_REL_I:0000015 ?c ?c1\n ) \n (exists ?t \n  (and \n   (only_exists_prior_to ?c1 ?t\n   ) \n   (only_exists_subsequent_to ?c ?t\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000016
name: derived_into
namespace: relationship
is_transitive: true
inverse_of: OBO_REL_I:0000015  ! derives_from
comment: 
synonym: "derived_into" EXACT formal_name []
domain: Continuant 
range: Continuant 

[Typedef]
id: OBO_REL_I:0000017
name: preceded_by
namespace: relationship
def: "P preceded_by P' if and only if: given any process p that instantiates P at a time t, there is some process p' such that p' instantiates P' at time t', and t' is earlier than t. " [PMID:15892874]
is_transitive: true
inverse_of: OBO_REL_I:0000018  ! precedes
comment: 
synonym: "preceded_by" EXACT formal_name []
domain: Occurrent 
range: Occurrent 
formula: "\n(<=> \n (OBO_REL_I:0000017 ?p ?p1\n ) \n (=> \n  (and \n   (OBO_REL_I:0000041 ?p ?t\n   ) \n   (OBO_REL_I:0000041 ?p1 ?t1\n   )\n  ) \n  (earlier_than ?t1 ?t\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000018
name: precedes
namespace: relationship
is_transitive: true
inverse_of: OBO_REL_I:0000017  ! preceded_by
comment: 
synonym: "precedes" EXACT formal_name []
domain: Occurrent 
range: Occurrent 

[Typedef]
id: OBO_REL_I:0000019
name: has_participant
namespace: relationship
def: "Has_participant is a primitive instance-level relation between a process, a continuant, and a time at which the continuant participates in some way in the process. The relation obtains, for example, when this particular process of oxygen exchange across this particular alveolar membrane has_participant this particular sample of hemoglobin at this particular time." [PMID:15892874]
inverse_of: OBO_REL_I:0000020  ! participates_in
comment: 
synonym: "has_participant" EXACT formal_name []
domain: Occurrent 
range: IndependentContinuant 
holds_over_chain: OBO_REL_I:0000034 OBO_REL_I:0000026  ! inheres_in

[Typedef]
id: OBO_REL_I:0000020
name: participates_in
namespace: relationship
inverse_of: OBO_REL_I:0000019  ! has_participant
comment: 
synonym: "participates_in" EXACT formal_name []
domain: IndependentContinuant 
range: Occurrent 
holds_over_chain: has_bearer OBO_REL_I:0000035  ! realized_by

[Typedef]
id: OBO_REL_I:0000021
name: has_agent
namespace: relationship
def: "As for has_participant, but with the additional condition that the component instance is causally active in the relevant process" [PMID:15892874]
inverse_of: OBO_REL_I:0000022  ! agent_in
comment: 
synonym: "has_agent" EXACT formal_name []
is_a: OBO_REL_I:0000019  ! has_participant

[Typedef]
id: OBO_REL_I:0000022
name: agent_in
namespace: relationship
inverse_of: OBO_REL_I:0000021  ! has_agent
comment: 
synonym: "agent_in" EXACT formal_name []
is_a: OBO_REL_I:0000020  ! participates_in
domain: IndependentContinuant 
range: Occurrent 

[Typedef]
id: OBO_REL_I:0000026
name: inheres_in
namespace: relationship
def: "A primitive relation that holds between a dependent continuant instance and a bearer" []
inverse_of: OBO_REL_I:0000027  ! bearer_of
comment: 
synonym: "has_bearer" EXACT []
synonym: "inheres_in" EXACT formal_name []
domain: DependentContinuant 

[Typedef]
id: OBO_REL_I:0000027
name: bearer_of
namespace: relationship
def: "A relation between an entity and a dependent continuant; the reciprocal relation of inheres_in" []
inverse_of: OBO_REL_I:0000026  ! inheres_in
comment: 
synonym: "bearer_of" EXACT formal_name []
synonym: "bears" EXACT []
synonym: "has_inherent" EXACT []
synonym: "has_inherer" EXACT []
synonym: "is_bearer_of" EXACT []
range: DependentContinuant 

[Typedef]
id: OBO_REL_I:0000028
name: quality_of
namespace: relationship
def: "A relation between a quality Q and an entity E. Q quality_of E iff: Q inheres_in E and Q is a quality" []
inverse_of: OBO_REL_I:0000029  ! has_quality
comment: 
synonym: "is_quality_of" EXACT []
synonym: "quality_of" EXACT formal_name []
is_a: OBO_REL_I:0000026  ! inheres_in
domain: Quality 

[Typedef]
id: OBO_REL_I:0000029
name: has_quality
namespace: relationship
def: "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" []
inverse_of: OBO_REL_I:0000028  ! quality_of
comment: 
synonym: "has_quality" EXACT formal_name []
is_a: OBO_REL_I:0000027  ! bearer_of
range: Quality 

[Typedef]
id: OBO_REL_I:0000030
name: function_of
namespace: relationship
def: "f function_of c at t iff : f inheres_in c at t and f instantiates a function" []
inverse_of: OBO_REL_I:0000031  ! has_function
comment: 
synonym: "function_of" EXACT formal_name []
is_a: OBO_REL_I:0000026  ! inheres_in
domain: Function 
range: IndependentContinuant 

[Typedef]
id: OBO_REL_I:0000031
name: has_function
namespace: relationship
def: "Relation between an independent continuant and a function." []
inverse_of: OBO_REL_I:0000030  ! function_of
comment: 
synonym: "has_function" EXACT formal_name []
is_a: OBO_REL_I:0000027  ! bearer_of
domain: IndependentContinuant 
range: Function 

[Typedef]
id: OBO_REL_I:0000032
name: role_of
namespace: relationship
def: "A relation between a role r and a continuant c. r role_of c at t iff: r inheres_in c at t and r instance_of Role at t" []
inverse_of: OBO_REL_I:0000033  ! has_role
comment: 
synonym: "role_of" EXACT formal_name []
is_a: OBO_REL_I:0000026  ! inheres_in
domain: Role 
range: IndependentContinuant 

[Typedef]
id: OBO_REL_I:0000033
name: has_role
namespace: relationship
def: "A relation between a continuant C and a role R. The inverse_of role_of." []
inverse_of: OBO_REL_I:0000032  ! role_of
comment: 
synonym: "has_role" EXACT formal_name []
is_a: OBO_REL_I:0000027  ! bearer_of
domain: IndependentContinuant 
range: Role 

[Typedef]
id: OBO_REL_I:0000034
name: realizes
namespace: relationship
def: "Relation between a process and a realizable entity" []
inverse_of: OBO_REL_I:0000035  ! realized_by
comment: 
synonym: "executes" NARROW []
synonym: "is_functioning_of" NARROW []
synonym: "is_realization_of" NARROW []
synonym: "realization_of" NARROW []
synonym: "realizes" EXACT formal_name []
domain: Process 
range: RealizableEntity 

[Typedef]
id: OBO_REL_I:0000035
name: realized_by
namespace: relationship
def: "Relation between a realizable entity (such as a function or role) and a process." []
inverse_of: OBO_REL_I:0000034  ! realizes
comment: 
synonym: "executed_by" NARROW []
synonym: "executed_during" RELATED []
synonym: "has_functioning" NARROW []
synonym: "has_realization" NARROW []
synonym: "is_realized_as" NARROW []
synonym: "realized_as" NARROW []
synonym: "realized_by" EXACT formal_name []
domain: RealizableEntity 
range: Process 

[Typedef]
id: OBO_REL_I:0000040
name: exists_at
namespace: relationship
def: "A primitive relation between a continuant and an instant of time." []
comment: 
synonym: "exists_at" EXACT formal_name []
domain: Continuant 
range: TemporalInstant 
formula: "\n(<=> \n (OBO_REL_I:0000040 ?c ?t\n ) \n (exists ?p \n  (OBO_REL_I:0000019 ?p ?c ?t\n  )\n )\n)" KIF []
formula: "\n(<=> \n (OBO_REL_I:0000040 ?i ?t\n ) \n (exists ?U \n  (OBO_REL_I:0000023 ?i ?U ?t\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000041
name: occurs_at
namespace: relationship
comment: 
synonym: "occurs_at" EXACT formal_name []
domain: Occurrent 
range: TemporalInstant 
formula: "\n(<=> \n (OBO_REL_I:0000041 ?p ?t\n ) \n (exists ?c \n  (OBO_REL_I:0000019 ?p ?c ?t\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000042
name: first_instant_of
namespace: relationship
comment: 
synonym: "first_instant_of" EXACT formal_name []
formula: "\n(<=> \n (OBO_REL_I:0000042 ?t ?p\n ) \n (and \n  (OBO_REL_I:0000041 ?p ?t\n  ) \n  (=> \n   (earlier_than ?t1 ?t\n   ) \n   (not \n    (OBO_REL_I:0000041 ?p ?t1\n    )\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000043
name: last_instant_of
namespace: relationship
comment: 
synonym: "last_instant_of" EXACT formal_name []
formula: "\n(<=> \n (OBO_REL_I:0000043 ?t ?p\n ) \n (and \n  (OBO_REL_I:0000041 ?p ?t\n  ) \n  (=> \n   (earlier_than ?t ?t1\n   ) \n   (not \n    (OBO_REL_I:0000041 ?p ?t1\n    )\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000044
name: immediately_preceded_by
namespace: relationship
comment: 
synonym: "immediately_preceded_by" EXACT formal_name []
formula: "\n(<=> \n (OBO_REL_I:0000044 ?p ?p1\n ) \n (exists ?t \n  (and \n   (OBO_REL_I:0000042 ?t ?p\n   ) \n   (OBO_REL_I:0000043 ?t ?p1\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000045
name: has_duration
namespace: relationship
def: "Instance level relation between an occurrent and a temporal interval, such that the two temporally coincide. The interval is defined by the start and end of the process." []
comment: 
synonym: "has_duration" EXACT formal_name []
domain: Occurrent 
range: TemporalInterval 
formula: "\n(<=> \n (OBO_REL_I:0000045 ?p ?y\n ) \n (and \n  (OBO_REL_I:0000023 ?p Occurrent\n  ) \n  (exists ?t1 \n   (OBO_REL_I:0000042 ?t1 ?p\n   )\n  ) \n  (exists ?t2 \n   (OBO_REL_I:0000043 ?t2 ?p\n   )\n  ) \n  (=> \n   (and \n    (earlier_than ?t1 ?t\n    ) \n    (earlier_than ?t ?t2\n    )\n   ) \n   (OBO_REL_I:0000041 ?p ?t\n   )\n  ) \n  (= ?y \n   (interval ?t1 ?t2\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000064
name: occurs_in
namespace: relationship
def: "p occurs_in s at t : the participants of of p are spatially contained by s at t." []
comment: 
synonym: "occurs_in" EXACT formal_name []
synonym: "process_located_in" EXACT []
synonym: "unfolds_in" EXACT []
holds_over_chain: OBO_REL_I:0000019 OBO_REL_I:0000008  ! located_in
formula: "\n(<=> \n (OBO_REL_I:0000064 ?p ?s ?t\n ) \n (forall ?c \n  (=> \n   (OBO_REL_I:0000019 ?p ?c ?t\n   ) \n   (OBO_REL_I:0000008 ?c ?s ?t\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000201
name: overlaps
namespace: relationship
def: "x overlaps y if and only if: there is some z such that: z part_of x and z part_of y (i.e. x and y share a part)" []
is_reflexive: true
is_symmetric: true
comment: 
synonym: "overlaps" EXACT formal_name []
domain: IndependentContinuant 
range: IndependentContinuant 
formula: "\n(<=> \n (OBO_REL_I:0000201 ?x ?y\n ) \n (exists ?z \n  (and \n   (OBO_REL_I:0000002 ?z ?x\n   ) \n   (OBO_REL_I:0000002 ?z ?y\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000202
name: partially_overlaps
namespace: relationship
def: "x partially_overlaps y if and only if: x overlaps y and neither x is part_of y not y is part_of x" []
comment:  Example: A National Park whose area is included in two counties would have this relationship to each of the counties..  Example: A National Park whose area is included in two counties would have this relationship to each of the counties.. 
example: A National Park whose area is included in two counties would have this relationship to each of the counties..  (source: GAZ)
synonym: "partially_overlaps" EXACT formal_name []
is_a: OBO_REL_I:0000201  ! overlaps
domain: IndependentContinuant 
range: IndependentContinuant 
formula: "\n(<=> \n (OBO_REL_I:0000202 ?x ?y\n ) \n (and \n  (OBO_REL_I:0000201 ?x ?y\n  ) \n  (not \n   (OBO_REL_I:0000002 ?x ?y\n   )\n  ) \n  (not \n   (OBO_REL_I:0000002 ?y ?x\n   )\n  )\n )\n)" KIF []

[Typedef]
id: OBO_REL_I:0000210
name: underlaps
namespace: relationship
is_reflexive: true
is_symmetric: true
comment: 
synonym: "underlaps" EXACT formal_name []
domain: IndependentContinuant 
range: IndependentContinuant 
formula: "\n(<=> \n (OBO_REL_I:0000210 ?x ?y\n ) \n (exists ?z \n  (and \n   (OBO_REL_I:0000002 ?x ?z\n   ) \n   (OBO_REL_I:0000002 ?y ?z\n   )\n  )\n )\n)" KIF []

[Typedef]
id: earlier_than
name: earlier_than
namespace: relationship
def: "." [PMID:15892874]
is_transitive: true
comment: 
synonym: "<" BROAD []
synonym: "before" EXACT []
synonym: "earlier" EXACT []
domain: TemporalInstant 
range: TemporalInstant