<?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_0002224">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:label xml:lang="en">starts with</rdfs:label>
<rdfs:label>starts with</rdfs:label>
<obo_purl:IAO_0000115>x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. 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_0000112>Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor</obo_purl:IAO_0000112>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000118>started by</obo_purl:IAO_0000118>
<obo_purl:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/ro.owl"/>
<oboinowl_gen:id>starts_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_0002224">
<rdf:type rdf:resource="http://www.w3.org/2002/07/owl#ObjectProperty"/>
<rdfs:label xml:lang="en">starts with</rdfs:label>
<rdfs:label>starts with</rdfs:label>
<obo_purl:IAO_0000115>x starts with y if and only if x has part y and the time point at which x starts is equivalent to the time point at which y starts. 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_0000112>Every insulin receptor signaling pathway starts with the binding of a ligand to the insulin receptor</obo_purl:IAO_0000112>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000118>started by</obo_purl:IAO_0000118>
<obo_purl:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/ro.owl"/>
<oboinowl_gen:id>starts_with</oboinowl_gen:id>
</owl:TransitiveProperty>
</rdf:RDF>