|
ends after
|
RO_0002086 |
|
|
ends with
|
RO_0002230 |
[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.] |
|
equivalent_name
|
equivalent_name |
|
|
evidence
|
evidence |
|
|
evolutionarily related to
|
RO_0002320 |
[A relationship that holds via some environmental process] |
|
exactMatch
|
exactMatch |
|
|
exactly
|
exactly |
|
|
example of usage
|
IAO_0000112 |
[A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold.] |
|
exception
|
exception |
|
|
exceptions
|
exceptions |
|
|
exceptions_url
|
exceptions_url |
|
|
existence ends during
|
RO_0002492 |
[x existence ends during y if and only if the time point at which x ends is before or equivalent to the time point at which y ends and after or equivalent to the point at which y starts. Formally: x existence ends during y iff ω(x) <= ω(y) and ω(x) >= α(y)., Relation between continuant c and occurrent s, such that every instance of c ceases to exist during some s, if it does not die prematurely.] |
|
existence ends during or before
|
RO_0002497 |
[x existence ends during or before y if and only if the time point at which x ends is before or equivalent to the time point at which y ends.] |
|
existence ends with
|
RO_0002493 |
[Relation between continuant and occurrent, such that c ceases to exist at the end of p., x existence ends with y if and only if the time point at which x ends is equivalent to the time point at which y ends. Formally: x existence ends with y iff ω(x) = ω(y).] |
|
existence overlaps
|
RO_0002490 |
[x existence overlaps y if and only if either (a) the start of x is part of y or (b) the end of x is part of y. Formally: x existence starts and ends during y iff (α(x) >= α(y) & α(x) <= ω(y)) OR (ω(x) <= ω(y) & ω(x) >= α(y))] |
|
existence starts and ends during
|
RO_0002491 |
[x exists during y if and only if: 1) the time point at which x begins to exist is after or equal to the time point at which y begins and 2) the time point at which x ceases to exist is before or equal to the point at which y ends. Formally: x existence starts and ends during y iff α(x) >= α(y) & α(x) <= ω(y) & ω(x) <= ω(y) & ω(x) >= α(y)] |
|
existence starts during
|
RO_0002488 |
[Relation between continuant c and occurrent s, such that every instance of c comes into existing during some s., x existence starts during y if and only if the time point at which x starts is after or equivalent to the time point at which y starts and before or equivalent to the time point at which y ends. Formally: x existence starts during y iff α(x) >= α(y) & α(x) <= ω(y).] |
|
existence starts during or after
|
RO_0002496 |
[x existence starts during or after y if and only if the time point at which x starts is after or equivalent to the time point at which y starts. Formally: x existence starts during or after y iff α (x) >= α (y).] |
|
existence starts with
|
RO_0002489 |
[x starts ends with y if and only if the time point at which x starts is equivalent to the time point at which y starts. Formally: x existence starts with y iff α(x) = α(y)., Relation between continuant and occurrent, such that c comes into existence at the start of p.] |
|
expand assertion to
|
IAO_0000425 |
[A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom.] |
