<?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:ns0="https://github.com/obophenotype/uberon/wiki/" xmlns:ns1="http://www.ncbi.nlm.nih.gov/pubmed/" xmlns:oboinowl_gen="http://www.geneontology.org/formats/oboInOwl#">
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002160">
<rdfs:label>only in taxon</rdfs:label>
<rdfs:label>only_in_taxon</rdfs:label>
<rdfs:seeAlso rdf:resource="https://github.com/obophenotype/uberon/wiki/Taxon-constraints"/>
<obo_purl:IAO_0000115>x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.</obo_purl:IAO_0000115>
<obo_purl:IAO_0000117 xml:lang="en">Chris Mungall</obo_purl:IAO_0000117>
<obo_purl:IAO_0000112>lactation SubClassOf 'only in taxon' some 'Mammalia'</obo_purl:IAO_0000112>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000116>The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g.
'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria</obo_purl:IAO_0000116>
<obo_purl:IAO_0000119 rdf:resource="http://www.ncbi.nlm.nih.gov/pubmed/20973947"/>
<obo_purl:IAO_0000119 rdf:resource="http://www.ncbi.nlm.nih.gov/pubmed/17921072"/>
<oboinowl_gen:id>only_in_taxon</oboinowl_gen:id>
</owl:ObjectProperty>
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/FOODON_00001303">
<obo_purl:IAO_0100001 rdf:resource="http://purl.obolibrary.org/obo/RO_0002160"/>
</rdf:Description>
</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:ns0="https://github.com/obophenotype/uberon/wiki/" xmlns:ns1="http://www.ncbi.nlm.nih.gov/pubmed/" xmlns:oboinowl_gen="http://www.geneontology.org/formats/oboInOwl#">
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002160">
<rdfs:label>only in taxon</rdfs:label>
<rdfs:label>only_in_taxon</rdfs:label>
<rdfs:seeAlso rdf:resource="https://github.com/obophenotype/uberon/wiki/Taxon-constraints"/>
<obo_purl:IAO_0000115>x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.</obo_purl:IAO_0000115>
<obo_purl:IAO_0000117 xml:lang="en">Chris Mungall</obo_purl:IAO_0000117>
<obo_purl:IAO_0000112>lactation SubClassOf 'only in taxon' some 'Mammalia'</obo_purl:IAO_0000112>
<obo_purl:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000125"/>
<obo_purl:IAO_0000116>The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g.
'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria</obo_purl:IAO_0000116>
<obo_purl:IAO_0000119 rdf:resource="http://www.ncbi.nlm.nih.gov/pubmed/20973947"/>
<obo_purl:IAO_0000119 rdf:resource="http://www.ncbi.nlm.nih.gov/pubmed/17921072"/>
<oboinowl_gen:id>only_in_taxon</oboinowl_gen:id>
</owl:ObjectProperty>
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/FOODON_00001303">
<obo_purl:IAO_0100001 rdf:resource="http://purl.obolibrary.org/obo/RO_0002160"/>
</rdf:Description>
</rdf:RDF>