<?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#">
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002579">
<rdfs:label>is indirect form of</rdfs:label>
<obo_purl:IAO_0000115>relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y</obo_purl:IAO_0000115>
</owl:AnnotationProperty>
</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#">
<owl:AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002579">
<rdfs:label>is indirect form of</rdfs:label>
<obo_purl:IAO_0000115>relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y</obo_purl:IAO_0000115>
</owl:AnnotationProperty>
</rdf:RDF>