<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/OBA?iri=http://purl.obolibrary.org/obo/HP_0030870"?>
<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:obo="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    


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

    


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

    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.obolibrary.org/obo/BFO_0000050 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000050">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label>part of</rdfs:label>
        <rdfs:label xml:lang="en">part of</rdfs:label>
    </ObjectProperty>
    


    <!-- http://purl.obolibrary.org/obo/BFO_0000051 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000051">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label>has part</rdfs:label>
        <rdfs:label xml:lang="en">has part</rdfs:label>
    </ObjectProperty>
    


    <!-- http://purl.obolibrary.org/obo/RO_0000052 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000052">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
        <rdfs:label xml:lang="en">characteristic of</rdfs:label>
    </ObjectProperty>
    


    <!-- http://purl.obolibrary.org/obo/RO_0002573 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002573">
        <rdfs:label>has modifier</rdfs:label>
    </ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://purl.obolibrary.org/obo/HP_0008438 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0008438">
        <rdfs:label>Vertebral arch anomaly</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/HP_0030870 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0030870">
        <rdfs:label>Abnormality of spinal facet joint</rdfs:label>
        <equivalentClass>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0000001"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
                                <someValuesFrom>
                                    <Class>
                                        <intersectionOf rdf:parseType="Collection">
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/UBERON_0001067"/>
                                            <Restriction>
                                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
                                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/UBERON_0001130"/>
                                            </Restriction>
                                        </intersectionOf>
                                    </Class>
                                </someValuesFrom>
                            </Restriction>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002573"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/PATO_0000460"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </equivalentClass>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/HP_0008438"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0000001"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
                                <someValuesFrom>
                                    <Class>
                                        <intersectionOf rdf:parseType="Collection">
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/UBERON_0001067"/>
                                            <Restriction>
                                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000050"/>
                                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/UBERON_0001130"/>
                                            </Restriction>
                                        </intersectionOf>
                                    </Class>
                                </someValuesFrom>
                            </Restriction>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002573"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/PATO_0000460"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:comment>The spinal facet joints represent a set of synovial, plane joints between the articular processes of each two adjacent vertebrae. Each pair of facet joints functions to guide and limit the movement of the corresponding spinal motion segment.</rdfs:comment>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/PATO_0000001 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0000001">
        <rdfs:label>quality</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/PATO_0000460 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0000460">
        <rdfs:label>abnormal</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/UBERON_0001067 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/UBERON_0001067">
        <rdfs:label>vertebral arch joint</rdfs:label>
    </Class>
    


    <!-- http://purl.obolibrary.org/obo/UBERON_0001130 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/UBERON_0001130">
        <rdfs:label>vertebral column</rdfs:label>
    </Class>
</rdf:RDF>



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



