Terminology Service < Semantic Lookup Platform

All properties in CL

Label	Id	Description
evidence	evidence
evolutionarily related to	RO_0002320	[A relationship that holds via some environmental process]
example of usage	IAO_0000112
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 assertion to	IAO_0000425
expand expression to	IAO_0000424
expert consultation and attribution required	PENDING_REVIEW
expressed_in	RO_0002206	[x expressed in y if and only if there is a gene expression process (GO:0010467) that occurs in y, and one of the following holds: (i) x is a gene, and x is transcribed into a transcript as part of the gene expression process (ii) x is a transcript, and the transcription of x is part of the gene expression process (iii) x is a mature gene product such as a protein, and x was translated or otherwise processes from a transcript that was transcribed as part of this gene expression process]
expresses	RO_0002292	[Inverse of 'expressed in']
extends_fibers_into	extends_fibers_into
external_class	external_class
external_class_label	external_class_label