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_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 childhood OBO_REL_I:0000002 John Doe's lifespan. 
example: OBO_REL_I:0000002 John Doe's Heart John Doe's Body t1. 
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.. 
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