This file contains externally imported content from the Relations Ontology (RO) for import into the Open Energy Ontology (OEO). It is automatically extracted using ROBOT from the term list ro-terms.txt.
editor preferred term
example of usage
has curation status
definition
definition
editor note
term editor
alternative term
definition source
curator note
OBO foundry unique label
elucidation
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.
temporal interpretation
https://github.com/oborel/obo-relations/wiki/ROAndTime
part-of is homeomorphic for independent continuants.
R is homemorphic for C iff (1) there exists some x,y such that x R y, and x and y instantiate C and (2) for all x, if x is an instance of C, and there exists some y some such that x R y, then it follows that y is an instance of C.
cjm
2018-10-21T19:46:34Z
R homeomorphic-for C expands to: C SubClassOf R only C. Additionally, for any class D that is disjoint with C, we can also expand to C DisjointWith R some D, D DisjointWith R some C.
is homeomorphic for
has_related_synonym
in_subset
is defined by
is defined by
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
This is an experimental annotation
is part of
my brain is part of my body (continuant parthood, two material entities)
my stomach cavity is part of my stomach (continuant parthood, immaterial entity is part of material entity)
this day is part of this year (occurrent parthood)
a core relation that holds between a part and its whole
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.
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
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'.
part_of
part of
http://www.obofoundry.org/ro/#OBO_REL:part_of
has part
my body has part my brain (continuant parthood, two material entities)
my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)
this year has part this day (occurrent parthood)
a core relation that holds between a whole and its part
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.
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
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'.
has_part
has part
realized in
this disease is realized in this disease course
this fragility is realized in this shattering
this investigator role is realized in this investigation
is realized by
realized_in
Import manually from RO
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1079
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1197
Add domain and range:
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1320
pull request: https://github.com/OpenEnergyPlatform/ontology/pull/1353
[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])
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
realized in
preceded by
x is preceded by y if and only if the time point at which y ends is before or equivalent to the time point at which x starts. Formally: x preceded by y iff ω(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.
An example is: translation preceded_by transcription; aging preceded_by development (not however death preceded_by aging). Where derives_from links classes of continuants, preceded_by links classes of processes. Clearly, however, these two relations are not independent of each other. Thus if cells of type C1 derive_from cells of type C, then any cell division involving an instance of C1 in a given lineage is preceded_by cellular processes involving an instance of C. The assertion P preceded_by P1 tells us something about Ps in general: that is, it tells us something about what happened earlier, given what we know about what happened later. Thus it does not provide information pointing in the opposite direction, concerning instances of P1 in general; that is, that each is such as to be succeeded by some instance of P. Note that an assertion to the effect that P preceded_by P1 is rather weak; it tells us little about the relations between the underlying instances in virtue of which the preceded_by relation obtains. Typically we will be interested in stronger relations, for example in the relation immediately_preceded_by, or in relations which combine preceded_by with a condition to the effect that the corresponding instances of P and P1 share participants, or that their participants are connected by relations of derivation, or (as a first step along the road to a treatment of causality) that the one process in some way affects (for example, initiates or regulates) the other.
is preceded by
preceded_by
http://www.obofoundry.org/ro/#OBO_REL:preceded_by
preceded by
precedes
x precedes y if and only if the time point at which x ends is before or equivalent to the time point at which y starts. Formally: x precedes y iff ω(x) <= α(y), where α is a function that maps a process to a start point, and ω is a function that maps a process to an end point.
precedes
bearer of
this apple is bearer of this red color
this vase is bearer of this fragility
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
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.
bearer_of
is bearer of
bearer of
participates in
this blood clot participates in this blood coagulation
this input material (or this output material) participates in this process
this investigator participates in this investigation
a relation between a continuant and a process, in which the continuant is somehow involved in the process
participates_in
participates in
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
has participant
this blood coagulation has participant this blood clot
this investigation has participant this investigator
this process has participant this input material (or this output material)
a relation between a process and a continuant, in which the continuant is somehow involved in the process
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.
has_participant
http://www.obofoundry.org/ro/#OBO_REL:has_participant
has participant
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
this enzyme has function this catalysis function (more colloquially: this enzyme has this catalysis function)
a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence
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.
has_function
has function
this apple has quality this red color
a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence
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.
has_quality
has quality
this person has role this investigator role (more colloquially: this person has this role of investigator)
a relation between an independent continuant or energy (the bearer) and a role, in which the role specifically depends on the bearer for its existence
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.
has_role
has role
a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence
has disposition
is location of
my head is the location of my brain
this cage is the location of this rat
a relation between two independent continuants, the location and the target, in which the target is entirely within the location
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
location_of
location of
located in
my brain is located in my head
this rat is located in this cage
a relation between two independent continuants, the target and the location, in which the target is entirely within the location
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
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
located_in
http://www.obofoundry.org/ro/#OBO_REL:located_in
located in
David Osumi-Sutherland
<=
Primitive instance level timing relation between events
before or simultaneous with
David Osumi-Sutherland
t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
simultaneous with
David Osumi-Sutherland
t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)
before
David Osumi-Sutherland
X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)
ends after
David Osumi-Sutherland
starts before
David Osumi-Sutherland
io
X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y))
starts during
David Osumi-Sutherland
d
during
X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y))
happens during
David Osumi-Sutherland
o
overlaps
X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y).
ends during
Chris Mungall
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.
https://docs.google.com/document/d/1kBv1ep_9g3sTR-SD3jqzFqhuwo9TPNF-l-9fUDbO6rM/edit?pli=1
A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.
temporally related to
inverse of starts with
Chris Mungall
Allen
starts
Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor
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.
Chris Mungall
started by
starts with
inverse of ends with
Chris Mungall
ends
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.
Chris Mungall
finished by
ends with
p has input c iff: p is a process, c is a continuant, c is a participant in p, c is present at the start of p, and the state of c is modified during p.
Chris Mungall
consumes
has input
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
p has output c iff c is a participant in p, c is present at the end of p, and c is not present at the beginning of p.
Chris Mungall
produces
has output
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
A grouping relationship for any relationship directly involving a function, or that holds because of a function of one of the related entities.
Chris Mungall
This is a grouping relation that collects relations used for the purpose of connecting structure and function
functionally related to
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
inverse of has input
Chris Mungall
input of
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
inverse of has output
Chris Mungall
output of
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
This relation groups causal relations between material entities and causal relations between processes
This branch of the ontology deals with causal relations between entities. It is divided into two branches: causal relations between occurrents/processes, and causal relations between material entities. We take an 'activity flow-centric approach', with the former as primary, and define causal relations between material entities in terms of causal relations between occurrents.
To define causal relations in an activity-flow type network, we make use of 3 primitives:
* Temporal: how do the intervals of the two occurrents relate?
* Is the causal relation regulatory?
* Is the influence positive or negative
The first of these can be formalized in terms of the Allen Interval Algebra. Informally, the 3 bins we care about are 'direct', 'indirect' or overlapping. Note that all causal relations should be classified under a RO temporal relation (see the branch under 'temporally related to'). Note that all causal relations are temporal, but not all temporal relations are causal. Two occurrents can be related in time without being causally connected. We take causal influence to be primitive, elucidated as being such that has the upstream changed, some qualities of the donwstream would necessarily be modified.
For the second, we consider a relationship to be regulatory if the system in which the activities occur is capable of altering the relationship to achieve some objective. This could include changing the rate of production of a molecule.
For the third, we consider the effect of the upstream process on the output(s) of the downstream process. If the level of output is increased, or the rate of production of the output is increased, then the direction is increased. Direction can be positive, negative or neutral or capable of either direction. Two positives in succession yield a positive, two negatives in succession yield a positive, otherwise the default assumption is that the net effect is canceled and the influence is neutral.
Each of these 3 primitives can be composed to yield a cross-product of different relation types.
Chris Mungall
Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
causally related to
p 'causally upstream or within' q iff (1) the end of p is before the end of q and (2) the execution of p exerts some causal influence over the outputs of q; i.e. if p was abolished or the outputs of p were to be modified, this would necessarily affect q.
We would like to make this disjoint with 'preceded by', but this is prohibited in OWL2
Chris Mungall
influences (processual)
affects
causally upstream of or within
inverse of causally upstream of or within
Chris Mungall
causally downstream of or within
p is causally related to q if and only if p or any part of p and q or any part of q are linked by a chain of events where each event pair is one of direct activation or direct inhibition. p may be upstream, downstream, part of or a container of q.
Chris Mungall
Do not use this relation directly. It is intended as a grouping for a diverse set of relations, all involving cause and effect.
causal relation between processes
'lysine biosynthetic process via diaminopimelate' SubClassOf has_intermediate some diaminopimelate
p has intermediate c if and only if p has parts p1, p2 and p1 has output c, and p2 has input c
Chris Mungall
has intermediate product
has intermediate
has model
a produces b if some process that occurs_in a has_output b, where a and b are material entities. Examples: hybridoma cell line produces monoclonal antibody reagent; chondroblast produces avascular GAG-rich matrix.
Melissa Haendel
Note that this definition doesn't quite distinguish the output of a transformation process from a production process, which is related to the identity/granularity issue.
produces
a produced_by b iff some process that occurs_in b has_output a.
Melissa Haendel
produced by
A relation between a biological, experimental, or computational artifact and an entity it is used to study, in virtue of its replicating or approximating features of the studied entity.
Matthew Brush
is used to study
The primary use case for this relation was to link a biological model system such as a cell line or model organism to a disease it is used to investigate, in virtue of the model system exhibiting features similar to that of the disease of interest. But the relation is defined more broadly to support other use cases, such as linking genes in which alterations are made to create model systems to the condition the system is used to interrogate, or computational models to real-world phenomena they are defined to simulate.
has role in modeling
p 'has primary input ot output' c iff either (a) p 'has primary input' c or (b) p 'has primary output' c.
cjm
2018-12-13T11:26:17Z
has primary input or output
p has primary output c if (a) p has output c and (b) the goal of process is to modify, produce, or transform c.
cjm
2018-12-13T11:26:32Z
has primary output
p has primary output c if (a) p has output c and (b) the goal of process is to modify, produce, or transform c.
GOC:cjm
GOC:dph
GOC:kva
GOC:pt
PMID:27812932
p has primary input c if (a) p has input c and (b) the goal of process is to modify, consume, or transform c.
cjm
2018-12-13T11:26:56Z
has primary input
p has primary input c if (a) p has input c and (b) the goal of process is to modify, consume, or transform c.
add axiom
issue: https://github.com/OpenEnergyPlatform/ontology/issues/1114
pull-request: https://github.com/OpenEnergyPlatform/ontology/pull/1138
GOC:cjm
GOC:dph
GOC:kva
GOC:pt
PMID:27812932
A material entity consisting of multiple components that are causally integrated.
May be replaced by a BFO class, as discussed in http://www.jbiomedsem.com/content/4/1/43
Chris Mungall
http://www.jbiomedsem.com/content/4/1/43
system
Do not use this relation directly. It is ended as a grouping for a diverse set of relations, all involving parthood or connectivity relationships
A mereological relationship or a topological relationship
mereotopologically related to
Chris Mungall