obsolete preceded by
type: ObjectProperty
type: TransitiveProperty
comment: accidentally included in BFO 1.2 proposal - should have been BFO_0000062

preceded by
type: ObjectProperty
type: TransitiveProperty
IAO_0000116: 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.
IAO_0000116: Intended meaning: domain: occurrent range: occurrent time: atemporal
source: http://www.obofoundry.org/ro/#OBO_REL:preceded_by
IAO_0000118: is preceded by
IAO_0000111: preceded by
IAO_0000118: preceded_by
range: BFO_0000003
domain: BFO_0000003
inverse of: precedes
sub property of: ends_after
property chain axiom: happens_during
property chain axiom: starts_during

precedes
type: ObjectProperty
type: TransitiveProperty
IAO_0000116: Intended meaning: domain: occurrent range: occurrent time: atemporal
IAO_0000111: precedes
domain: BFO_0000003
range: BFO_0000003

before_or_simultaneous_with
type: ObjectProperty
IAO_0000118: <=
comment: Primitive instance level timing relation between events
sub property of: temporally related to

simultaneous_with
type: ObjectProperty
type: TransitiveProperty
comment: t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2)
sub property of: before_or_simultaneous_with

before
type: ObjectProperty
type: TransitiveProperty
comment: t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2)
sub property of: before_or_simultaneous_with

during_which_ends
type: ObjectProperty
comment: 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.
inverse of: ends_during
sub property of: temporally related to

ends_after
type: ObjectProperty
type: TransitiveProperty
comment: X ends_after Y iff: end(Y) before_or_simultaneous_with end(X)
sub property of: temporally related to
property chain axiom: ends_during
property chain axiom: preceded by

immediately_preceded_by
type: ObjectProperty
comment: X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y)
IAO_0000118: starts_at_end_of
sub property of: preceded by
inverse of: immediately_precedes

during_which_starts
type: ObjectProperty
comment: 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.
inverse of: starts_during
sub property of: temporally related to

starts_before
type: ObjectProperty
type: TransitiveProperty
sub property of: temporally related to
property chain axiom: starts_during
property chain axiom: obsolete preceded by

immediately_precedes
type: ObjectProperty
IAO_0000118: meets
comment: X immediately_precedes_Y iff: end(X) simultaneous_with start(Y)
IAO_0000118: ends_at_start_of
sub property of: precedes

starts_during
type: ObjectProperty
comment: X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y))
IAO_0000118: io
domain: BFO_0000003
range: BFO_0000003
sub property of: temporally related to

happens_during
type: ObjectProperty
type: TransitiveProperty
comment: X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y))
IAO_0000118: during
IAO_0000118: d
sub property of: ends_during

ends_during
type: ObjectProperty
comment: X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y).
IAO_0000118: overlaps
IAO_0000118: o
sub property of: temporally related to

temporally related to
type: ObjectProperty
IAO_0000119: Allen
comment: A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations.
domain: BFO_0000003
range: BFO_0000003
IAO_0000114: IAO_0000125

starts
type: ObjectProperty
IAO_0000119: Allen
IAO_0000117: Chris Mungall
IAO_0000115: inverse of starts with
IAO_0000114: IAO_0000125
sub property of: temporally related to

starts with
type: ObjectProperty
type: TransitiveProperty
IAO_0000112: Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor
IAO_0000115: 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_0000118: started by
IAO_0000114: IAO_0000125
sub property of: temporally related to
inverse of: starts

ends
type: ObjectProperty
IAO_0000115: inverse of ends with
IAO_0000114: IAO_0000125
sub property of: temporally related to
inverse of: ends with

ends with
type: ObjectProperty
type: TransitiveProperty
IAO_0000118: finished by
IAO_0000115: 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_0000114: IAO_0000125
sub property of: temporally related to