Terminology Service < Semantic Lookup Platform

All properties in HP

Label	Id	Description
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.]
evidence	evidence
evolutionarily related to	RO_0002320	[A relationship that holds via some environmental process]
exactly	exactly
example of usage	IAO_0000112	[A phrase describing how a class name should be used. May also include other kinds of examples that facilitate immediate understanding of a class semantics, such as widely known prototypical subclasses or instances of the class. Although essential for high level terms, examples for low level terms (e.g., Affymetrix HU133 array) are not]
exception	exception
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	existence_starts_and_ends_during
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 expression to	IAO_0000424	[A macro expansion tag applied to an object property (or possibly a data property) which can be used by a macro-expansion engine to generate more complex expressions from simpler ones]
expert consultation and attribution required	PENDING_REVIEW
extends_fibers_into	extends_fibers_into
external_class	external_class
external_class_label	external_class_label
external_comment	UBPROP_0000005	[An alternate comment for a class taken unmodified from an external source. Note that obo format only allows a single comment for a class, and does not provide a structured means of adding provenance info.]