core.obo

format-version: 1.2
data-version: ro/releases/2025-03-05/core.owl
idspace: dc http://purl.org/dc/elements/1.1/ 
idspace: foaf http://xmlns.com/foaf/0.1/ 
idspace: oboInOwl http://www.geneontology.org/formats/oboInOwl# 
idspace: swrl http://www.w3.org/2003/11/swrl# 
idspace: swrlb http://www.w3.org/2003/11/swrlb# 
idspace: terms http://purl.org/dc/terms/ 
ontology: ro/core
property_value: foaf:homepage "https://github.com/oborel/obo-relations/wiki/ROCore" xsd:anyURI
property_value: owl:versionInfo "2025-03-05" xsd:string
property_value: terms:license https://creativecommons.org/publicdomain/zero/1.0/

[Term]
id: BFO:0000002
name: continuant
def: "An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts." []
disjoint_from: BFO:0000003 ! occurrent

[Term]
id: BFO:0000003
name: occurrent
def: "An entity that has temporal parts and that happens, unfolds or develops through time." []

[Term]
id: BFO:0000004
name: independent continuant
def: "b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])" []
comment: A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
is_a: BFO:0000002 ! continuant
disjoint_from: BFO:0000020 ! specifically dependent continuant
disjoint_from: BFO:0000031 ! generically dependent continuant

[Term]
id: BFO:0000006
name: spatial region
is_a: BFO:0000141 ! immaterial entity

[Term]
id: BFO:0000015
name: process
def: "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])" []
comment: An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
is_a: BFO:0000003 ! occurrent

[Term]
id: BFO:0000016
name: disposition
is_a: BFO:0000017 ! realizable entity
disjoint_from: BFO:0000023 ! role

[Term]
id: BFO:0000017
name: realizable entity
def: "A specifically dependent continuant  that inheres in continuant  entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances." []
is_a: BFO:0000020 ! specifically dependent continuant
disjoint_from: BFO:0000019 ! quality

[Term]
id: BFO:0000019
name: quality
is_a: BFO:0000020 ! specifically dependent continuant

[Term]
id: BFO:0000020
name: specifically dependent continuant
def: "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])" []
comment: A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
is_a: BFO:0000002 ! continuant
disjoint_from: BFO:0000031 ! generically dependent continuant

[Term]
id: BFO:0000023
name: role
def: "A realizable entity  the manifestation of which brings about some result or end that is not essential to a continuant  in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant  in some kinds of natural, social or institutional contexts." []
is_a: BFO:0000017 ! realizable entity

[Term]
id: BFO:0000031
name: generically dependent continuant
def: "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])" []
comment: A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.
is_a: BFO:0000002 ! continuant

[Term]
id: BFO:0000034
name: function
is_a: BFO:0000016 ! disposition

[Term]
id: BFO:0000040
name: material entity
def: "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time." []
is_a: BFO:0000004 ! independent continuant
disjoint_from: BFO:0000141 ! immaterial entity

[Term]
id: BFO:0000141
name: immaterial entity
is_a: BFO:0000004 ! independent continuant

[Typedef]
id: BFO:0000050
name: part of
def: "a core relation that holds between a part and its whole" []
property_value: IAO:0000111 "is part of" xsd:string
property_value: IAO:0000112 "my brain is part of my body (continuant parthood, two material entities)" xsd:string
property_value: IAO:0000112 "my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)" xsd:string
property_value: IAO:0000112 "this day is part of this year (occurrent parthood)" xsd:string
property_value: IAO:0000116 "Everything is part of itself. Any part of any part of a thing is itself part of that thing. Two distinct things cannot be part of each other." xsd:string
property_value: IAO:0000116 "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" xsd:string
property_value: IAO:0000116 "Parthood requires the part and the whole to have compatible classes: only an occurrent can be part of an occurrent; only a process can be part of a process; only a continuant can be part of a continuant; only an independent continuant can be part of an independent continuant; only an immaterial entity can be part of an immaterial entity; only a specifically dependent continuant can be part of a specifically dependent continuant; only a generically dependent continuant can be part of a generically dependent continuant. (This list is not exhaustive.)\n\nA continuant cannot be part of an occurrent: use 'participates in'. An occurrent cannot be part of a continuant: use 'has participant'. A material entity cannot be part of an immaterial entity: use 'has location'. A specifically dependent continuant cannot be part of an independent continuant: use 'inheres in'. An independent continuant cannot be part of a specifically dependent continuant: use 'bearer of'." xsd:string
property_value: IAO:0000118 "part_of" xsd:string
property_value: RO:0001900 RO:0001901
property_value: seeAlso "http://www.obofoundry.org/ro/#OBO_REL:part_of" xsd:string
is_transitive: true
inverse_of: BFO:0000051 ! has part

[Typedef]
id: BFO:0000051
name: has part
def: "a core relation that holds between a whole and its part" []
property_value: IAO:0000111 "has part" xsd:string
property_value: IAO:0000112 "my body has part my brain (continuant parthood, two material entities)" xsd:string
property_value: IAO:0000112 "my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)" xsd:string
property_value: IAO:0000112 "this year has part this day (occurrent parthood)" xsd:string
property_value: IAO:0000116 "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part." xsd:string
property_value: IAO:0000116 "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" xsd:string
property_value: IAO:0000116 "Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.)\n\nA continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'." xsd:string
property_value: IAO:0000118 "has_part" xsd:string
property_value: RO:0001900 RO:0001901
is_transitive: true

[Typedef]
id: BFO:0000054
name: realized in
comment: Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process
property_value: IAO:0000111 "realized in" xsd:string
property_value: IAO:0000112 "this disease is realized in this disease course" xsd:string
property_value: IAO:0000112 "this fragility is realized in this shattering" xsd:string
property_value: IAO:0000112 "this investigator role is realized in this investigation" xsd:string
property_value: IAO:0000118 "is realized by" xsd:string
property_value: IAO:0000118 "realized_in" xsd:string
property_value: IAO:0000600 "[copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])" xsd:string
property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
domain: BFO:0000017 ! realizable entity
range: BFO:0000015 ! process
inverse_of: BFO:0000055 ! realizes

[Typedef]
id: BFO:0000055
name: realizes
comment: Paraphrase of elucidation: a relation between a process and a realizable entity, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process
property_value: IAO:0000111 "realizes" xsd:string
property_value: IAO:0000112 "this disease course realizes this disease" xsd:string
property_value: IAO:0000112 "this investigation realizes this investigator role" xsd:string
property_value: IAO:0000112 "this shattering realizes this fragility" xsd:string
property_value: IAO:0000600 "to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])" xsd:string
property_value: isDefinedBy http://purl.obolibrary.org/obo/iao.owl
domain: BFO:0000015 ! process
range: BFO:0000017 ! realizable entity

[Typedef]
id: BFO:0000066
name: occurs in
def: "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t" []
comment: Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant
property_value: IAO:0000111 "occurs in" xsd:string
property_value: IAO:0000118 "occurs_in" xsd:string
property_value: IAO:0000118 "unfolds in" xsd:string
property_value: IAO:0000118 "unfolds_in" xsd:string
property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
domain: BFO:0000003 ! occurrent
range: BFO:0000004 ! independent continuant
holds_over_chain: BFO:0000050 BFO:0000066
inverse_of: BFO:0000067 ! contains process
transitive_over: BFO:0000050 ! part of

[Typedef]
id: BFO:0000067
name: contains process
def: "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t" []
comment: Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant
property_value: IAO:0000111 "site of" xsd:string
property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl

[Typedef]
id: RO:0000052
name: characteristic of
def: "a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence." []
comment: Note that this relation was previously called "inheres in", but was changed to be called "characteristic of" because BFO2 uses "inheres in" in a more restricted fashion. This relation differs from BFO2:inheres_in in two respects: (1) it does not impose a range constraint, and thus it allows qualities of processes, as well as of information entities, whereas BFO2 restricts inheres_in to only apply to independent continuants (2) it is declared functional, i.e. something can only be a characteristic of one thing.
property_value: IAO:0000111 "inheres in" xsd:string
property_value: IAO:0000112 "this fragility is a characteristic of this vase" xsd:string
property_value: IAO:0000112 "this red color is a characteristic of this apple" xsd:string
property_value: IAO:0000118 "inheres_in" xsd:string
property_value: RO:0001900 RO:0001901
is_functional: true
inverse_of: RO:0000053 ! has characteristic

[Typedef]
id: RO:0000053
name: has characteristic
def: "Inverse of characteristic_of" []
property_value: IAO:0000111 "bearer of" xsd:string
property_value: IAO:0000112 "this apple is bearer of this red color" xsd:string
property_value: IAO:0000112 "this vase is bearer of this fragility" xsd:string
property_value: IAO:0000116 "A bearer can have many dependents, and its dependents can exist for different periods of time, but none of its dependents can exist when the bearer does not exist." xsd:string
property_value: IAO:0000118 "bearer_of" xsd:string
property_value: IAO:0000118 "is bearer of" xsd:string
property_value: RO:0001900 RO:0001901
range: BFO:0000020 ! specifically dependent continuant
is_inverse_functional: true

[Typedef]
id: RO:0000056
name: participates in
def: "a relation between a continuant and a process, in which the continuant is somehow involved in the process" []
property_value: IAO:0000111 "participates in" xsd:string
property_value: IAO:0000112 "this blood clot participates in this blood coagulation" xsd:string
property_value: IAO:0000112 "this input material (or this output material) participates in this process" xsd:string
property_value: IAO:0000112 "this investigator participates in this investigation" xsd:string
property_value: IAO:0000118 "participates_in" xsd:string
domain: BFO:0000002 ! continuant
range: BFO:0000003 ! occurrent
inverse_of: RO:0000057 ! has participant

[Typedef]
id: RO:0000057
name: has participant
def: "a relation between a process and a continuant, in which the continuant is somehow involved in the process" []
property_value: IAO:0000111 "has participant" xsd:string
property_value: IAO:0000112 "this blood coagulation has participant this blood clot" xsd:string
property_value: IAO:0000112 "this investigation has participant this investigator" xsd:string
property_value: IAO:0000112 "this process has participant this input material (or this output material)" xsd:string
property_value: IAO:0000116 "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." xsd:string
property_value: IAO:0000118 "has_participant" xsd:string
property_value: terms:source "http://www.obofoundry.org/ro/#OBO_REL:has_participant" xsd:string
domain: BFO:0000003 ! occurrent
range: BFO:0000002 ! continuant

[Typedef]
id: RO:0000058
name: is concretized as
def: "A relationship between a generically dependent continuant and a specifically dependent continuant or process, in which the generically dependent continuant depends on some independent continuant or process in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants or processes." []
property_value: IAO:0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The journal article (a generically dependent continuant) is concretized as the quality (a specifically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)." xsd:string
property_value: IAO:0000112 "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)." xsd:string
domain: BFO:0000031 ! generically dependent continuant
inverse_of: RO:0000059 ! concretizes

[Typedef]
id: RO:0000059
name: concretizes
def: "A relationship between a specifically dependent continuant or process and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant or process also depends on that same independent continuant. Multiple specifically dependent continuants or processes can concretize the same generically dependent continuant." []
property_value: IAO:0000112 "A journal article is an information artifact that inheres in some number of printed journals. For each copy of the printed journal there is some quality that carries the journal article, such as a pattern of ink. The quality (a specifically dependent continuant) concretizes the journal article (a generically dependent continuant), and both depend on that copy of the printed journal (an independent continuant)." xsd:string
property_value: IAO:0000112 "An investigator reads a protocol and forms a plan to carry out an assay. The plan is a realizable entity (a specifically dependent continuant) that concretizes the protocol (a generically dependent continuant), and both depend on the investigator (an independent continuant). The plan is then realized by the assay (a process)." xsd:string
range: BFO:0000031 ! generically dependent continuant

[Typedef]
id: RO:0000079
name: function of
def: "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence" []
comment: This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
property_value: IAO:0000112 "this catalysis function is a function of this enzyme" xsd:string
property_value: IAO:0000116 "A function inheres in its bearer at all times for which the function exists, however the function need not be realized at all the times that the function exists." xsd:string
property_value: IAO:0000118 "function_of" xsd:string
property_value: IAO:0000118 "is function of" xsd:string
domain: BFO:0000034 ! function
is_a: RO:0000052 ! characteristic of
inverse_of: RO:0000085 ! has function

[Typedef]
id: RO:0000080
name: quality of
def: "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence" []
comment: This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
property_value: IAO:0000112 "this red color is a quality of this apple" xsd:string
property_value: IAO:0000116 "A quality inheres in its bearer at all times for which the quality exists." xsd:string
property_value: IAO:0000118 "is quality of" xsd:string
property_value: IAO:0000118 "quality_of" xsd:string
is_a: RO:0000052 ! characteristic of
inverse_of: RO:0000086 ! has quality

[Typedef]
id: RO:0000081
name: role of
def: "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence" []
comment: This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
property_value: IAO:0000112 "this investigator role is a role of this person" xsd:string
property_value: IAO:0000116 "A role inheres in its bearer at all times for which the role exists, however the role need not be realized at all the times that the role exists." xsd:string
property_value: IAO:0000118 "is role of" xsd:string
property_value: IAO:0000118 "role_of" xsd:string
is_a: RO:0000052 ! characteristic of
inverse_of: RO:0000087 ! has role

[Typedef]
id: RO:0000085
name: has function
def: "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence" []
property_value: IAO:0000112 "this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)" xsd:string
property_value: IAO:0000116 "A bearer can have many functions, and its functions can exist for different periods of time, but none of its functions can exist when the bearer does not exist. A function need not be realized at all the times that the function exists." xsd:string
property_value: IAO:0000118 "has_function" xsd:string
domain: BFO:0000004 ! independent continuant
range: BFO:0000034 ! function
is_a: RO:0000053 ! has characteristic

[Typedef]
id: RO:0000086
name: has quality
def: "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence" []
property_value: IAO:0000112 "this apple has quality this red color" xsd:string
property_value: IAO:0000116 "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist." xsd:string
property_value: IAO:0000118 "has_quality" xsd:string
range: BFO:0000019 ! quality
is_a: RO:0000053 ! has characteristic

[Typedef]
id: RO:0000087
name: has role
def: "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence" []
property_value: IAO:0000112 "this person has role this investigator role (more colloquially: this person has this role of investigator)" xsd:string
property_value: IAO:0000116 "A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists." xsd:string
property_value: IAO:0000118 "has_role" xsd:string
domain: BFO:0000004 ! independent continuant
range: BFO:0000023 ! role
is_a: RO:0000053 ! has characteristic

[Typedef]
id: RO:0000091
name: has disposition
def: "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence" []
domain: BFO:0000004 ! independent continuant
range: BFO:0000016 ! disposition
is_a: RO:0000053 ! has characteristic
inverse_of: RO:0000092 ! disposition of

[Typedef]
id: RO:0000092
name: disposition of
comment: This relation is modeled after the BFO relation of the same name which was in BFO2, but is used in a more restricted sense - specifically, we model this relation as functional (inherited from characteristic-of). Note that this relation is now removed from BFO2020.
is_a: RO:0000052 ! characteristic of

[Typedef]
id: RO:0001000
name: derives from
def: "a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity" []
property_value: IAO:0000112 "this cell derives from this parent cell (cell division)" xsd:string
property_value: IAO:0000112 "this nucleus derives from this parent nucleus (nuclear division)" xsd:string
property_value: IAO:0000114 IAO:0000125
property_value: IAO:0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'." xsd:string
property_value: IAO:0000118 "derives_from" xsd:string
inverse_of: RO:0001001 ! derives into

[Typedef]
id: RO:0001001
name: derives into
def: "a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity" []
property_value: IAO:0000112 "this parent cell derives into this cell (cell division)" xsd:string
property_value: IAO:0000112 "this parent nucleus derives into this nucleus (nuclear division)" xsd:string
property_value: IAO:0000114 IAO:0000125
property_value: IAO:0000116 "This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops into'. To avoid making statements about a future that may not come to pass, it is often better to use the backward-looking 'derives from' rather than the forward-looking 'derives into'." xsd:string
property_value: IAO:0000118 "derives_into" xsd:string

[Typedef]
id: RO:0001015
name: location of
def: "a relation between two independent continuants, the location and the target, in which the target is entirely within the location" []
property_value: IAO:0000111 "is location of" xsd:string
property_value: IAO:0000112 "my head is the location of my brain" xsd:string
property_value: IAO:0000112 "this cage is the location of this rat" xsd:string
property_value: IAO:0000116 "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" xsd:string
property_value: IAO:0000118 "location_of" xsd:string
property_value: RO:0001900 RO:0001901
is_transitive: true
inverse_of: RO:0001025 ! located in

[Typedef]
id: RO:0001025
name: located in
def: "a relation between two independent continuants, the target and the location, in which the target is entirely within the location" []
property_value: IAO:0000111 "located in" xsd:string
property_value: IAO:0000112 "my brain is located in my head" xsd:string
property_value: IAO:0000112 "this rat is located in this cage" xsd:string
property_value: IAO:0000116 "Location as a relation between instances: The primitive instance-level relation c located_in r at t reflects the fact that each continuant is at any given time associated with exactly one spatial region, namely its exact location. Following we can use this relation to define a further instance-level location relation - not between a continuant and the region which it exactly occupies, but rather between one continuant and another. c is located in c1, in this sense, whenever the spatial region occupied by c is part_of the spatial region occupied by c1.    Note that this relation comprehends both the relation of exact location between one continuant and another which obtains when r and r1 are identical (for example, when a portion of fluid exactly fills a cavity), as well as those sorts of inexact location relations which obtain, for example, between brain and head or between ovum and uterus" xsd:string
property_value: IAO:0000116 "Most location relations will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/" xsd:string
property_value: IAO:0000118 "located_in" xsd:string
property_value: RO:0001900 RO:0001901
property_value: terms:source "http://www.obofoundry.org/ro/#OBO_REL:located_in" xsd:string
domain: BFO:0000004 {IAO:0000116="This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."} ! independent continuant
range: BFO:0000004 {IAO:0000116="This is redundant with the more specific 'independent and not spatial region' constraint. We leave in the redundant axiom for use with reasoners that do not use negation."} ! independent continuant
is_transitive: true

[Typedef]
id: RO:0002000
name: 2D boundary of
def: "a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity" []
property_value: IAO:0000112 "the surface of my skin is a 2D boundary of my body" xsd:string
property_value: IAO:0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts." xsd:string
property_value: IAO:0000116 "Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape." xsd:string
property_value: IAO:0000118 "2D_boundary_of" xsd:string
property_value: IAO:0000118 "boundary of" xsd:string
property_value: IAO:0000118 "is 2D boundary of" xsd:string
property_value: IAO:0000118 "is boundary of" xsd:string
property_value: RO:0001900 RO:0001901
inverse_of: RO:0002002 ! has 2D boundary

[Typedef]
id: RO:0002002
name: has 2D boundary
def: "a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity" []
property_value: IAO:0000112 "my body has 2D boundary the surface of my skin" xsd:string
property_value: IAO:0000116 "A 2D boundary may have holes and gaps, but it must be a single connected entity, not an aggregate of several disconnected parts." xsd:string
property_value: IAO:0000116 "Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape." xsd:string
property_value: IAO:0000118 "has boundary" xsd:string
property_value: IAO:0000118 "has_2D_boundary" xsd:string
property_value: RO:0001900 RO:0001901
domain: BFO:0000040 ! material entity
range: BFO:0000141 ! immaterial entity

[Typedef]
id: RO:0002350
name: member of
def: "is member of is a mereological relation between a item and a collection." []
property_value: IAO:0000112 "An organism that is a member of a population of organisms" xsd:string
property_value: IAO:0000118 "is member of" xsd:string
property_value: IAO:0000118 "member part of" xsd:string
property_value: IAO:0000119 "SIO" xsd:string
property_value: RO:0001900 RO:0001901
is_a: BFO:0000050 ! part of
inverse_of: RO:0002351 ! has member

[Typedef]
id: RO:0002351
name: has member
def: "has member is a mereological relation between a collection and an item." []
property_value: IAO:0000119 "SIO" xsd:string
property_value: RO:0001900 RO:0001901
is_a: BFO:0000051 ! has part

[Typedef]
id: RO:0004096
name: DEPRECATED inheres in
comment: DEPRECATED This relation is similar to but different in important respects to the characteristic-of relation. See comments on that relation for more information.
is_obsolete: true

[Typedef]
id: RO:0004097
name: DEPRECATED bearer of
is_obsolete: true