JSON

ends with

^ http://purl.obolibrary.org/obo/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.

Property info

alternative label

finished by

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

Property relations