]> obsolete preceded by accidentally included in BFO 1.2 proposal - should have been BFO_0000062 preceded by http://www.obofoundry.org/ro/#OBO_REL:preceded_by is preceded by preceded by 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. precedes 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. before or simultaneous with Primitive instance level timing relation between events <= David Osumi-Sutherland simultaneous with t1 simultaneous_with t2 iff:= t1 before_or_simultaneous_with t2 and not (t1 before t2) David Osumi-Sutherland before t1 before t2 iff:= t1 before_or_simulataneous_with t2 and not (t1 simultaeous_with t2) David Osumi-Sutherland 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. David Osumi-Sutherland ends after X ends_after Y iff: end(Y) before_or_simultaneous_with end(X) David Osumi-Sutherland immediately preceded by starts_at_end_of X immediately_preceded_by Y iff: end(X) simultaneous_with start(Y) David Osumi-Sutherland 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. David Osumi-Sutherland starts before David Osumi-Sutherland immediately precedes ends_at_start_of X immediately_precedes_Y iff: end(X) simultaneous_with start(Y) meets David Osumi-Sutherland starts during io X starts_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (start(X) before_or_simultaneous_with end(Y)) David Osumi-Sutherland happens during d during X happens_during Y iff: (start(Y) before_or_simultaneous_with start(X)) AND (end(X) before_or_simultaneous_with end(Y)) David Osumi-Sutherland ends during o overlaps X ends_during Y iff: ((start(Y) before_or_simultaneous_with end(X)) AND end(X) before_or_simultaneous_with end(Y). David Osumi-Sutherland temporally related to A relation that holds between two occurrents. This is a grouping relation that collects together all the Allen relations. Chris Mungall starts inverse of starts with Chris Mungall Allen Chris Mungall starts with started by 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. Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor Chris Mungall ends inverse of ends with Chris Mungall 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. finished by Chris Mungall