Property information

alternative term

finished by

definition

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.

has curation status

http://purl.obolibrary.org/obo/IAO_0000125

term editor

Chris Mungall

Property relations