part of
BFO:0000050
Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal
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.
http://www.obofoundry.org/ro/#OBO_REL:part_of
is part of
part_of
has part
BFO:0000051
Intended meaning:
Ambiguous between continuant-parthood and occurrent-parthood.
domain: continuant
range: continuant
time: at some time
domain: occurrent
range: occurrent
time: atemporal
has part
has_part
location of
RO:0001015
is location of
location_of
located in
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
RO:0001025
http://www.obofoundry.org/ro/#OBO_REL:located_in
located in
located_in
overlaps
RO:0002131
http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.obolibrary.org/obo/BFO_0000050 some ?Y)
x overlaps y if and only if there exists some z such that x has part z and z part of y
only in taxon
Chris Mungall
PMID:17921072
PMID:20973947
RO:0002160
The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g.
'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria
lactation SubClassOf 'only in taxon' some 'Mammalia'
x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.
in taxon
Chris Mungall
Connects a biological entity to its taxon of origin.
Jennifer Deegan
PMID:17921072
PMID:20973947
RO:0002162
x is in taxon y if an only if y is an organism, and the relationship between x and y is one of: part of (reflexive), developmentally preceded by, derives from, secreted by, expressed.
spatially disjoint from
A is spatially_disjoint_from B if and only if they have no parts in common
BFO_0000051 exactly 0 (BFO_0000050 some ?Y)
Chris Mungall
RO:0002163
There are two ways to encode this as a shortcut relation. The other possibility to use an annotation assertion between two classes, and expand this to a disjointness axiom.
develops from
Chris Mungall
David Osumi-Sutherland
Melissa Haendel
RO:0002202
Terry Meehan
This is the transitive form of the develops from relation
x develops from y if and only if either (a) x directly develops from y or (b) there exists some z such that x directly develops from z and z develops from y
develops into
Chris Mungall
David Osumi-Sutherland
RO:0002203
Terry Meehan
capable of
A relation between a material entity (such as a cell) and a process, in which the material entity has the ability to carry out the process.
Chris Mungall
For compatibility with BFO, this relation has a shortcut definition in which the expression "capable of some P" expands to "bearer_of (some realized_by only P)".
PMID:20123131
PMID:21208450
RO:0002215
RO_0000053 some (RO_0000054 only ?Y)
has function realized in
mechanosensory neuron capable of detection of mechanical stimulus involved in sensory perception (GO:0050974)
osteoclast SubClassOf 'capable of' some 'bone resorption'
adjacent to
RO:0002220
TODO: replaced by BFO_0001008
belongs in BFO?
x adjacent to y if and only if x and y share a boundary
developmentally preceded by
Candidate definition: x developmentally related to y if and only if there exists some developmental process (GO:0032502) p such that x and y both participates in p, and x is the output of p and y is the input of p
In general you should not use this relation to make assertions - use one of the more specific relations below this one
RO:0002258
This relation groups together various other developmental relations. It is fairly generic, encompassing induction, developmental contribution and direct and transitive develops from
developmentally succeeded by
Inverse of developmentally preceded by
RO:0002286
evolutionarily related to
A relationship that holds via some environmental process
Chris Mungall
RO:0002320
mereotopologically related to
A mereological relationship or a topological relationship
Chris Mungall
RO:0002323
developmentally related to
A relationship that holds via some developmental process (GO:0032502)
Chris Mungall
RO:0002324
functionally related to
Chris Mungall
RO:0002328
This is a grouping relation that collects relations used for the purpose of connecting structure and function
attached to
RO:0002371
has developmental potential involving
RO:0002384
x has developmental potential involving y iff x is capable of a developmental process with output y. y may be the successor of x, or may be a different structure in the vicinity (as for example in the case of developmental induction).
has potential to develop into
RO:0002387
x has the potential to develop into y iff x develops into y or if x is capable of developing into y
has potential to directly develop into
RO:0002388
x has potential to directly develop into y iff x directly develops into y or x is capable of directly developing into y