{"@context":{"obo_purl":"http://purl.obolibrary.org/obo/","rdf":"http://www.w3.org/1999/02/22-rdf-syntax-ns#","owl":"http://www.w3.org/2002/07/owl#","rdfs":"http://www.w3.org/2000/01/rdf-schema#","oboinowl_gen":"http://www.geneontology.org/formats/oboInOwl#"},"@id":"obo_purl:RO_0002230","@type":["owl:TransitiveProperty","owl:ObjectProperty"],"rdfs:label":[{"@language":"en","@value":"ends with"},"ends with"],"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":{"@id":"obo_purl:IAO_0000125"},"obo_purl:IAO_0000118":"finished by","obo_purl:IAO_0000412":{"@id":"obo_purl:ro.owl"},"oboinowl_gen:id":"ends_with"}