<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:oboinowl_gen="http://www.geneontology.org/formats/oboInOwl#">
<owl:TransitiveProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002230">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:label xml:lang="en">ends with</rdfs:label>
<rdfs:label>ends with</rdfs:label>
<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_0000115>
<obo_purl:IAO_0000117>Chris Mungall</obo_purl:IAO_0000117>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000118>finished by</obo_purl:IAO_0000118>
<obo_purl:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/ro.owl"/>
<oboinowl_gen:id>ends_with</oboinowl_gen:id>
</owl:TransitiveProperty>
</rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:oboinowl_gen="http://www.geneontology.org/formats/oboInOwl#">
<owl:TransitiveProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002230">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:label xml:lang="en">ends with</rdfs:label>
<rdfs:label>ends with</rdfs:label>
<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_0000115>
<obo_purl:IAO_0000117>Chris Mungall</obo_purl:IAO_0000117>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000118>finished by</obo_purl:IAO_0000118>
<obo_purl:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/ro.owl"/>
<oboinowl_gen:id>ends_with</oboinowl_gen:id>
</owl:TransitiveProperty>
</rdf:RDF>