obsolete preceded by
accidentally included in BFO 1.2 proposal - should have been BFO_0000062
preceded by
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.
Intended meaning: domain: occurrent range: occurrent time: atemporal
is preceded by
preceded_by
precedes
before_or_simultaneous_with
Primitive instance level timing relation between events
simultaneous_with
t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
before
t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)
during_which_ends
Previously had ID http://purl.obolibrary.org/obo/RO_0002122 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
ends_after
X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)
immediately_preceded_by
X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
during_which_starts
Previously had ID http://purl.obolibrary.org/obo/RO_0002123 in test files in sandpit - but this seems to have been dropped from ro-edit.owl at some point. No re-use under this ID AFAIK, but leaving note here in case we run in to clashes down the line. Official ID now chosen from DOS ID range.
starts_before
immediately_precedes
X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
starts_during
X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y))
happens_during
X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y))
ends_during
X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y).
temporally related to
A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.
starts
starts with
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.
ends
ends with
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.