ro import.owl
type: Ontology
version IRI: ro import.owl
version info: 2022-08-15

definition
type: AnnotationProperty

RO_0001900
type: AnnotationProperty
definition: An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.

part of
type: ObjectProperty
inverse of: has part
type: TransitiveProperty
IAO_0000111: is part of
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)
IAO_0000112: this day is part of this year (occurrent parthood)
definition: 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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
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_0000118: part_of
RO_0001900: RO_0001901
RO_0040042: continuant
RO_0040042: occurrent
RO_0040042: independent continuant
RO_0040042: realizable entity
RO_0040042: BFO_0000019
RO_0040042: specifically dependent continuant
RO_0040042: BFO_0000031
source: ro-base.owl
in subset: valid for go annotation extension
in subset: valid for go gp2term
in subset: valid for go ontology
in subset: valid for gocam

has part
type: ObjectProperty
type: TransitiveProperty
IAO_0000111: has part
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)
IAO_0000112: this year has part this day (occurrent parthood)
definition: 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 http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/
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_0000118: has_part
RO_0001900: RO_0001901
source: ro-base.owl
in subset: valid for go annotation extension
in subset: valid for go ontology
in subset: valid for gocam

realized in
type: ObjectProperty
inverse of: realizes
domain: realizable entity
range: process
IAO_0000111: realized in
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
IAO_0000118: is realized by
IAO_0000118: realized_in
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])
source: ro-base.owl
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

realizes
type: ObjectProperty
domain: process
range: realizable entity
IAO_0000111: realizes
IAO_0000112: this disease course realizes this disease
IAO_0000112: this investigation realizes this investigator role
IAO_0000112: this shattering realizes this fragility
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])
source: ro-base.owl
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

occurs in
type: ObjectProperty
domain: occurrent
range: independent continuant
property chain axiom: part of
IAO_0000111: occurs in
definition: 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
IAO_0000118: occurs_in
IAO_0000118: unfolds in
IAO_0000118: unfolds_in
source: ro-base.owl
in subset: valid for go annotation extension
in subset: valid for go ontology
in subset: valid for gocam
comment: Paraphrase of definition: a relation between a process and an independent continuant, in which the process takes place entirely within the independent continuant

characteristic of
type: ObjectProperty
inverse of: has characteristic
type: FunctionalProperty
IAO_0000111: inheres in
IAO_0000112: this fragility is a characteristic of this vase
IAO_0000112: this red color is a characteristic of this apple
definition: 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.
IAO_0000118: inheres_in
RO_0001900: RO_0001901
source: ro-base.owl
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.

has characteristic
type: ObjectProperty
type: InverseFunctionalProperty
range: specifically dependent continuant
IAO_0000111: bearer of
IAO_0000112: this apple is bearer of this red color
IAO_0000112: this vase is bearer of this fragility
definition: Inverse of characteristic_of
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_0000118: bearer_of
IAO_0000118: is bearer of
RO_0001900: RO_0001901
source: ro-base.owl

participates in
type: ObjectProperty
inverse of: has participant
domain: continuant
range: occurrent
IAO_0000111: participates in
IAO_0000112: this blood clot participates in this blood coagulation
IAO_0000112: this input material (or this output material) participates in this process
IAO_0000112: this investigator participates in this investigation
definition: a relation between a continuant and a process, in which the continuant is somehow involved in the process
IAO_0000118: participates_in
source: ro-base.owl

has participant
type: ObjectProperty
domain: occurrent
range: continuant
property chain axiom: has part
property chain axiom: realizes
property chain axiom: characteristic of
IAO_0000111: has participant
IAO_0000112: this blood coagulation has participant this blood clot
IAO_0000112: this investigation has participant this investigator
IAO_0000112: this process has participant this input material (or this output material)
definition: a relation between a process and a continuant, in which the continuant is somehow involved in the process
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_0000118: has_participant
source: ro-base.owl
source: http://www.obofoundry.org/ro/#OBO_REL:has_participant

role of
type: ObjectProperty
sub property of: characteristic of
inverse of: has role
IAO_0000112: this investigator role is a role of this person
definition: 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_0000118: is role of
IAO_0000118: role_of
source: ro-base.owl
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.

has role
type: ObjectProperty
sub property of: has characteristic
domain: independent continuant
range: role
IAO_0000112: this person has role this investigator role (more colloquially: this person has this role of investigator)
definition: 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_0000118: has_role
source: ro-base.owl

occurrent part of
type: ObjectProperty
sub property of: part of
domain: occurrent
range: occurrent
definition: A part of relation that applies only between occurrents.
source: ro-base.owl

temporally related to
type: ObjectProperty
domain: occurrent
range: occurrent
IAO_0000114: IAO_0000125
IAO_0000117: Chris Mungall
IAO_0000119: Allen's interval algebra
IAO_0000232: Do not use this relation directly. It is ended as a grouping for relations between occurrents involving the relative timing of their starts and ends.
source: ro-base.owl
source: https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit
in subset: ro-eco
comment: A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.

starts
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: starts with
IAO_0000114: IAO_0000125
definition: inverse of starts with
IAO_0000117: Chris Mungall
IAO_0000119: Allen
source: ro-base.owl
in subset: ro-eco

starts with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
IAO_0000112: Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor
IAO_0000114: IAO_0000125
definition: x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. Formally: α(y) = α(x) ∧ ω(y) < ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
IAO_0000117: Chris Mungall
IAO_0000118: started by
source: ro-base.owl
in subset: ro-eco

ends
type: ObjectProperty
sub property of: part of
sub property of: temporally related to
inverse of: ends with
IAO_0000114: IAO_0000125
definition: inverse of ends with
IAO_0000117: Chris Mungall
source: ro-base.owl
in subset: ro-eco

ends with
type: ObjectProperty
sub property of: has part
sub property of: temporally related to
type: TransitiveProperty
IAO_0000114: IAO_0000125
definition: x ends with y if and only if x has part y and the time point at which x ends is equivalent to the time point at which y ends. Formally: α(y) > α(x) ∧ ω(y) = ω(x), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
IAO_0000117: Chris Mungall
IAO_0000118: finished by
source: ro-base.owl
in subset: ro-eco

has output
type: ObjectProperty
sub property of: has participant
inverse of: output of
property chain axiom: ends with
IAO_0000114: IAO_0000125
definition: p has output c iff c is a participant in p, c is present at the end of p, and c is not present in the same state at the beginning of p.
IAO_0000117: Chris Mungall
IAO_0000118: produces
source: ro-base.owl
in subset: valid for go annotation extension
in subset: valid for go ontology
in subset: valid for gocam
in subset: ro-eco

involved in
type: ObjectProperty
sub property of: participates in
sub property of: involved in or involved in regulation of
property chain axiom: part of
definition: c involved_in p if and only if c enables some process p', and p' is part of p
IAO_0000117: Chris Mungall
IAO_0000118: actively involved in
IAO_0000118: enables part of
source: ro-base.owl

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

has member
type: ObjectProperty
sub property of: has part
type: IrreflexiveProperty
definition: has member is a mereological relation between a collection and an item.
IAO_0000119: SIO
RO_0001900: RO_0001901
source: ro-base.owl

output of
type: ObjectProperty
sub property of: participates in
definition: inverse of has output
IAO_0000117: Chris Mungall
source: ro-base.owl
in subset: RO_0002259
in subset: ro-eco

involved in regulation of
type: ObjectProperty
sub property of: involved in or involved in regulation of
sub property of: causal agent in process
definition: c involved in regulation of p if c is involved in some p' and p' regulates some p
IAO_0000117: Chris Mungall
source: ro-base.owl

involved in or involved in regulation of
type: ObjectProperty
sub property of: causal agent in process
definition: c involved in or regulates p if and only if either (i) c is involved in p or (ii) c is involved in regulation of p
IAO_0000116: OWL does not allow defining object properties via a Union
IAO_0000117: Chris Mungall
IAO_0000118: involved in or reguates
source: ro-base.owl

causal agent in process
type: ObjectProperty
definition: A relationship between a material entity and a process where the material entity has some causal role that influences the process
IAO_0000119: causal-relations
source: ro-base.owl

continuant
type: Class
subclass of: Restriction
  on property: part of
  all values from: continuant
disjoint with: occurrent
disjoint with: Restriction
  on property: part of
  some values from: occurrent
definition: 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.
source: ro-base.owl

occurrent
type: Class
subclass of: Restriction
  on property: part of
  all values from: occurrent
disjoint with: Restriction
  on property: part of
  some values from: continuant
definition: An entity that has temporal parts and that happens, unfolds or develops through time.
source: ro-base.owl

independent continuant
type: Class
subclass of: continuant
subclass of: Restriction
  on property: part of
  all values from: independent continuant
disjoint with: specifically dependent continuant
definition: A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
source: ro-base.owl

process
type: Class
subclass of: occurrent
definition: An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
source: ro-base.owl

realizable entity
type: Class
subclass of: specifically dependent continuant
subclass of: Restriction
  on property: part of
  all values from: realizable entity
definition: 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.
source: ro-base.owl

specifically dependent continuant
type: Class
subclass of: continuant
subclass of: Restriction
  on property: part of
  all values from: specifically dependent continuant
definition: 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.
source: ro-base.owl

role
type: Class
subclass of: realizable entity
definition: 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.
source: ro-base.owl