FOODON | Properties | AgroPortal

ID	http://purl.obolibrary.org/obo/RO_0002230 http://purl.obolibrary.org/obo/RO_0002230 https://agroportal.lirmm.fr/ontologies/FOODON/RO_0002230 Loading
Type	http://www.w3.org/2002/07/owl#ObjectProperty
Preferred name	ends with
Definitions	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.

obo_purl:IAO_0000115	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.
obo_purl:IAO_0000117	Chris Mungall
obo_purl:IAO_0000114	http://purl.obolibrary.org/obo/IAO_0000125 Loading
obo_purl:IAO_0000118	finished by
obo_purl:IAO_0000412	http://purl.obolibrary.org/obo/ro.owl Loading
rdf:type	http://www.w3.org/2002/07/owl#TransitiveProperty Loading http://www.w3.org/2002/07/owl#ObjectProperty Loading
rdfs:label	ends with ends with
oboinowl_gen:id	ends_with