<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/VO?iri=http://purl.obolibrary.org/obo/RO_0002171"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ns2="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    

    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000118"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000425"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002171">
        <rdfs:label xml:lang="en">mutually spatially disjoint with</rdfs:label>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://github.com/obophenotype/uberon/wiki/Part-disjointness-Design-Pattern</rdfs:seeAlso>
        <ns2:OMO_0002000>PREFIX owl: &lt;http://www.w3.org/2002/07/owl#&gt;
PREFIX part_of: &lt;http://purl.obolibrary.org/obo/BFO_0000050&gt;
PREFIX mutually_spatially_disjoint_with: &lt;http://purl.obolibrary.org/obo/RO_0002171&gt;
CONSTRUCT {
  part_of: a owl:ObjectProperty .
  [
    a owl:Restriction ;
    owl:onProperty part_of: ;
    owl:someValuesFrom ?x ;
      a owl:Restriction ;
      owl:onProperty part_of: ;
      owl:someValuesFrom ?y
    ]
  ]
}
WHERE {
  ?x mutually_spatially_disjoint_with: ?y .
}</ns2:OMO_0002000>
        <ns2:IAO_0000115>A is mutually_spatially_disjoint_with B if both A and B are classes, and there exists no p such that p is part_of some A and p is part_of some B.</ns2:IAO_0000115>
        <ns2:IAO_0000425>Class: &lt;http://www.w3.org/2002/07/owl#Nothing&gt; EquivalentTo: (BFO_0000050 some ?X) and (BFO_0000050 some ?Y)</ns2:IAO_0000425>
        <ns2:IAO_0000118>non-overlapping with</ns2:IAO_0000118>
        <ns2:IAO_0000118>shares no parts with</ns2:IAO_0000118>
        <rdfs:seeAlso rdf:resource="http://purl.obolibrary.org/obo/RO_0002163"/>
        <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/RO_0002420"/>
        <ns2:IAO_0000119 rdf:resource="http://www.ncbi.nlm.nih.gov/pubmed/22293552"/>
    </AnnotationProperty>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000119"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/OMO_0002000"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002420">
        <rdfs:label xml:lang="en">logical macro assertion on a class</rdfs:label>
    </AnnotationProperty>
    

    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

</rdf:RDF>


<!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->