part of
type: ObjectProperty
type: TransitiveProperty
IAO_0000111: is part of
IAO_0000118: part_of
IAO_0000115: a core relation that holds between a part and its whole
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.
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 https://code.google.com/p/obo-relations/wiki/ROAndTime
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.) A 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'.
IAO_0000112: this day is part of this year (occurrent parthood)
IAO_0000112: my brain is part of my body (continuant parthood, two material entities)
IAO_0000112: my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)
inverse of: has part
RO_0001900: RO_0001901

has part
type: ObjectProperty
type: TransitiveProperty
IAO_0000111: has part
IAO_0000118: has_part
IAO_0000115: a core relation that holds between a whole and its part
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.
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 https://code.google.com/p/obo-relations/wiki/ROAndTime
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.) A 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'.
IAO_0000112: this year has part this day (occurrent parthood)
IAO_0000112: my body has part my brain (continuant parthood, two material entities)
IAO_0000112: my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
RO_0001900: RO_0001901

realized in
type: ObjectProperty
IAO_0000118: is realized by
IAO_0000111: realized in
IAO_0000118: 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
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])
IAO_0000112: this disease is realized in this disease course
IAO_0000112: this fragility is realized in this shattering
IAO_0000112: this investigator role is realized in this investigation
domain: BFO_0000017
range: BFO_0000015

realizes
type: ObjectProperty
IAO_0000111: 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
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])
IAO_0000112: this disease course realizes this disease
IAO_0000112: this shattering realizes this fragility
IAO_0000112: this investigation realizes this investigator role
domain: BFO_0000015
range: BFO_0000017
inverse of: realized in

occurs in
type: ObjectProperty
IAO_0000111: occurs in
IAO_0000118: occurs_in
IAO_0000118: unfolds in
IAO_0000118: unfolds_in
comment: Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant
IAO_0000115: 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
domain: BFO_0000003
range: BFO_0000004
inverse of: contains process
property chain axiom: part of

contains process
type: ObjectProperty
IAO_0000111: site of
comment: Paraphrase of definition: a relation between an independent continuant and a process, in which the process takes place entirely within the independent continuant
IAO_0000115: [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

inheres in
type: ObjectProperty
IAO_0000111: inheres in
IAO_0000118: inheres_in
IAO_0000115: a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence
IAO_0000116: A dependent inheres in its bearer at all times for which the dependent exists.
IAO_0000112: this red color inheres in this apple
IAO_0000112: this fragility inheres in this vase
RO_0001900: RO_0001901

bearer of
type: ObjectProperty
IAO_0000111: bearer of
IAO_0000118: bearer_of
IAO_0000118: is bearer of
IAO_0000115: a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence
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.
IAO_0000112: this apple is bearer of this red color
IAO_0000112: this vase is bearer of this fragility
range: BFO_0000020
inverse of: inheres in
RO_0001900: RO_0001901

participates in
type: ObjectProperty
IAO_0000111: participates in
IAO_0000118: participates_in
IAO_0000115: a relation between a continuant and a process, in which the continuant is somehow involved in the process
IAO_0000112: this input material (or this output material) participates in this process
IAO_0000112: this investigator participates in this investigation
IAO_0000112: this blood clot participates in this blood coagulation
domain: BFO_0000002
range: BFO_0000003

has participant
type: ObjectProperty
IAO_0000111: has participant
IAO_0000118: has_participant
IAO_0000115: a relation between a process and a continuant, in which the continuant is somehow involved in the process
source: http://www.obofoundry.org/ro/#OBO_REL:has_participant
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.
IAO_0000112: this process has participant this input material (or this output material)
IAO_0000112: this investigation has participant this investigator
IAO_0000112: this blood coagulation has participant this blood clot
range: BFO_0000002
domain: BFO_0000003
inverse of: participates in

is concretized as
type: ObjectProperty
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).
IAO_0000115: A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants.
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).
range: BFO_0000020
domain: BFO_0000031
inverse of: concretizes

concretizes
type: ObjectProperty
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).
IAO_0000115: A relationship between a specifically dependent continuant 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 also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant.
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).
domain: BFO_0000020
range: BFO_0000031
inverse of: is concretized as

function of
type: ObjectProperty
IAO_0000118: function_of
IAO_0000118: is function of
IAO_0000115: a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence
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.
IAO_0000112: this catalysis function is a function of this enzyme
inverse of: has function
domain: BFO_0000034
sub property of: inheres in

quality of
type: ObjectProperty
IAO_0000115: a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence
IAO_0000118: is quality of
IAO_0000118: quality_of
IAO_0000116: A quality inheres in its bearer at all times for which the quality exists.
IAO_0000112: this red color is a quality of this apple
inverse of: has quality
sub property of: inheres in

role of
type: ObjectProperty
IAO_0000118: is role of
IAO_0000118: role_of
IAO_0000115: a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence
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.
IAO_0000112: this investigator role is a role of this person
sub property of: inheres in

has function
type: ObjectProperty
IAO_0000118: has_function
IAO_0000115: a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence
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.
IAO_0000112: this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)
inverse of: function of
range: BFO_0000034
sub property of: bearer of

has quality
type: ObjectProperty
IAO_0000115: a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence
IAO_0000118: has_quality
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.
IAO_0000112: this apple has quality this red color
inverse of: quality of
range: BFO_0000019
sub property of: bearer of

has role
type: ObjectProperty
IAO_0000118: has_role
IAO_0000115: a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence
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.
IAO_0000112: this person has role this investigator role (more colloquially: this person has this role of investigator)
domain: BFO_0000004
range: BFO_0000023
sub property of: bearer of
inverse of: role of

derives from
type: ObjectProperty
IAO_0000118: derives_from
IAO_0000115: 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
IAO_0000116: This is a very general relation. More specific relations are preferred when applicable, such as 'directly develops from'.
IAO_0000112: this cell derives from this parent cell (cell division)
IAO_0000112: this nucleus derives from this parent nucleus (nuclear division)
IAO_0000114: IAO_0000125

derives into
type: ObjectProperty
IAO_0000118: derives_into
IAO_0000115: 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
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'.
IAO_0000112: this parent cell derives into this cell (cell division)
IAO_0000112: this parent nucleus derives into this nucleus (nuclear division)
IAO_0000114: IAO_0000125
inverse of: derives from

location of
type: ObjectProperty
type: TransitiveProperty
IAO_0000111: is location of
IAO_0000118: location_of
IAO_0000115: a relation between two independent continuants, the location and the target, in which the target is entirely within the location
IAO_0000116: Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime
IAO_0000112: my head is the location of my brain
IAO_0000112: this cage is the location of this rat
RO_0001900: RO_0001901

located in
type: ObjectProperty
type: TransitiveProperty
IAO_0000115: a relation between two independent continuants, the target and the location, in which the target is entirely within the location
IAO_0000116: Most location relations will only hold at certain times, but this is difficult to specify in OWL. See https://code.google.com/p/obo-relations/wiki/ROAndTime
IAO_0000112: my brain is located in my head
IAO_0000112: this rat is located in this cage
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
source: http://www.obofoundry.org/ro/#OBO_REL:located_in
IAO_0000111: located in
IAO_0000118: located_in
inverse of: location of
RO_0001900: RO_0001901

2D boundary of
type: ObjectProperty
IAO_0000118: is 2D boundary of
IAO_0000118: 2D_boundary_of
IAO_0000118: boundary of
IAO_0000118: is boundary of
IAO_0000115: a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity
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.
IAO_0000116: Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape.
IAO_0000112: the surface of my skin is a 2D boundary of my body
RO_0001900: RO_0001901

has 2D boundary
type: ObjectProperty
IAO_0000118: has_2D_boundary
IAO_0000118: has boundary
IAO_0000115: a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity
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.
IAO_0000116: Although the boundary is two-dimensional, it exists in three-dimensional space and thus has a 3D shape.
IAO_0000112: my body has 2D boundary the surface of my skin
RO_0001900: RO_0001901
inverse of: 2D boundary of
domain: BFO_0000040
range: BFO_0000141

member of
type: ObjectProperty
IAO_0000118: is member of
IAO_0000118: member part of
IAO_0000119: SIO
IAO_0000112: An organism that is a member of a population of organisms
IAO_0000115: is member of is a mereological relation between a item and a collection.
sub property of: part of
RO_0001900: RO_0001901
inverse of: has member

has member
type: ObjectProperty
type: IrreflexiveProperty
IAO_0000119: SIO
IAO_0000115: has member is a mereological relation between a collection and an item.
sub property of: has part
RO_0001900: RO_0001901