part of
type: ObjectProperty
type: TransitiveProperty
IAO_0000116: Intended meaning: Ambiguous between continuant-parthood and occurrent-parthood. domain: continuant range: continuant time: at some time domain: occurrent range: occurrent time: atemporal
IAO_0000116: Parthood as a relation between instances: The primitive instance-level relation p part_of p1 is illustrated in assertions such as: this instance of rhodopsin mediated phototransduction part_of this instance of visual perception. This relation satisfies at least the following standard axioms of mereology: reflexivity (for all p, p part_of p); anti-symmetry (for all p, p1, if p part_of p1 and p1 part_of p then p and p1 are identical); and transitivity (for all p, p1, p2, if p part_of p1 and p1 part_of p2, then p part_of p2). Analogous axioms hold also for parthood as a relation between spatial regions. For parthood as a relation between continuants, these axioms need to be modified to take account of the incorporation of a temporal argument. Thus for example the axiom of transitivity for continuants will assert that if c part_of c1 at t and c1 part_of c2 at t, then also c part_of c2 at t. Parthood as a relation between classes: To define part_of as a relation between classes we again need to distinguish the two cases of continuants and processes, even though the explicit reference to instants of time now falls away. For continuants, we have C part_of C1 if and only if any instance of C at any time is an instance-level part of some instance of C1 at that time, as for example in: cell nucleus part_ of cell.
source: http://www.obofoundry.org/ro/#OBO_REL:part_of
IAO_0000111: is part of
IAO_0000118: part_of
inverse of: has part
RO_0001900: RO_0001901

has part
type: ObjectProperty
type: TransitiveProperty
IAO_0000116: Intended meaning: Ambiguous between continuant-parthood and occurrent-parthood. domain: continuant range: continuant time: at some time domain: occurrent range: occurrent time: atemporal
IAO_0000111: has part
IAO_0000118: has_part
RO_0001900: RO_0001901

realized in
type: ObjectProperty
IAO_0000116: Intended meaning: domain: realizable entity range: processual entity time: atemporal
IAO_0000118: is realized by
IAO_0000111: realized in
IAO_0000118: realized_in
range: BFO_0000007

realizes
type: ObjectProperty
IAO_0000116: Intended meaning: domain: processual entity range: realizable entity time: atemporal
IAO_0000111: realizes
domain: BFO_0000007
inverse of: realized in

occurs in
type: ObjectProperty
IAO_0000118: Intended meaning: domain: occurrent range: independent continuant time: atemporal
IAO_0000111: occurs in
IAO_0000118: occurs_in
IAO_0000118: unfolds in
IAO_0000118: unfolds_in
domain: BFO_0000003
range: BFO_0000004
inverse of: contains process
property chain axiom: part of

contains process
type: ObjectProperty
IAO_0000111: site of

inheres in
type: ObjectProperty
IAO_0000116: Intended meaning: domain: specifically dependent continuant range: independent continuant time: at all times A specifically dependent continuant A inheres in its independent continuant B at all times during which A exists.
IAO_0000111: inheres in
IAO_0000118: inheres_in
RO_0001900: RO_0001901

bearer of
type: ObjectProperty
IAO_0000116: Intended meaning: domain: independent continuant range: specifically dependent continuant time: at some time
IAO_0000111: bearer of
IAO_0000118: bearer_of
IAO_0000118: is bearer of
range: BFO_0000020
inverse of: inheres in
RO_0001900: RO_0001901

participates in
type: ObjectProperty
IAO_0000116: Intended meaning: domain: continuant and (not spatial region) range: processual entity time: at some time
IAO_0000111: participates in
IAO_0000118: participates_in
domain: BFO_0000002
range: BFO_0000003

has participant
type: ObjectProperty
IAO_0000111: has participant
IAO_0000118: has_participant
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_0000116: Intended meaning: domain: processual entity range: continuant and (not spatial region) time: at some time
range: BFO_0000002
domain: BFO_0000003
inverse of: participates in

role of
type: ObjectProperty
IAO_0000118: is role of
IAO_0000118: role_of
sub property of: inheres in

has role
type: ObjectProperty
IAO_0000118: has_role
range: BFO_0000023
sub property of: bearer of
inverse of: role of

derives from
type: ObjectProperty
comment: See also BFO_0001009
IAO_0000114: IAO_0000125
sub property of: topObjectProperty

derives into
type: ObjectProperty
IAO_0000114: IAO_0000125
sub property of: topObjectProperty

location of
type: ObjectProperty
type: TransitiveProperty
IAO_0000111: is location of
IAO_0000118: location_of
RO_0001900: RO_0001901

contained in
type: ObjectProperty
IAO_0000116: Containment is location not involving parthood, and arises only where some immaterial continuant is involved.
IAO_0000116: Containment obtains in each case between material and immaterial continuants, for instance: lung contained_in thoracic cavity; bladder contained_in pelvic cavity. Hence containment is not a transitive relation. If c part_of c1 at t then we have also, by our definition and by the axioms of mereology applied to spatial regions, c located_in c1 at t. Thus, many examples of instance-level location relations for continuants are in fact cases of instance-level parthood. For material continuants location and parthood coincide. Containment is location not involving parthood, and arises only where some immaterial continuant is involved. To understand this relation, we first define overlap for continuants as follows: c1 overlap c2 at t =def for some c, c part_of c1 at t and c part_of c2 at t. The containment relation on the instance level can then be defined (see definition):
IAO_0000116: Intended meaning: domain: material entity range: spatial region or site (immaterial continuant)
IAO_0000111: contained in
IAO_0000118: contained_in
inverse of: contains
RO_0001900: RO_0001901

contains
type: ObjectProperty
IAO_0000116: Intended meaning: domain: spatial region or site (immaterial continuant) range: material entity
IAO_0000111: contains
RO_0001900: RO_0001901

located in
type: ObjectProperty
type: TransitiveProperty
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

boundary of
type: ObjectProperty
IAO_0000115: The relationships between a boundary (a 2D immaterial entity) and the material entity that it delimits.
RO_0001900: RO_0001901

has boundary
type: ObjectProperty
IAO_0000115: The relationship between a material entity and the boundary (2D immaterial entity) that delimits it.
RO_0001900: RO_0001901
inverse of: boundary of
sub property of: topObjectProperty

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