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.
Property info
alternative label
finished by
database cross reference
RO:0002230
has curation status
http://purl.obolibrary.org/obo/IAO_0000125
has obo namespace
uberon,external
id
ends_with
imported from
http://purl.obolibrary.org/obo/cl.owl
shorthand
ends_with
term editor
Chris Mungall,https://orcid.org/0000-0002-6601-2165