<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/HP?iri=http://purl.obolibrary.org/obo/HP_0003416"?>
<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:hp="http://purl.obolibrary.org/obo/hp#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:ns4="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://www.geneontology.org/formats/oboInOwl#hasExactSynonym"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/hp#hposlim_core"/>
    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000115"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasDbXref"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasAlternativeId"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#inSubset"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#id"/>
    


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

    


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

    


    <!-- 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>
        <rdfs:label>inheres in</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_0000925 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0000925">
        <rdfs:label>Abnormality of the vertebral column</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0003416">
        <rdfs:label>Spinal canal stenosis</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_0001847"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/UBERON_0002291"/>
                            </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_0000925"/>
        <oboInOwl:hasDbXref>UMLS:C1861329</oboInOwl:hasDbXref>
        <oboInOwl:hasExactSynonym>Narrow spinal canal</oboInOwl:hasExactSynonym>
        <oboInOwl:id>HP:0003416</oboInOwl:id>
        <rdfs:comment>Stenosis of the spinal canal can result in neurological symptoms because of compression of the spinal cord or spinal nerve roots, depending on the location of the stenosis in the vertebral column.</rdfs:comment>
        <ns4:IAO_0000115>An abnormal narrowing of the spinal canal.</ns4:IAO_0000115>
        <oboInOwl:hasAlternativeId>HP:0008446</oboInOwl:hasAlternativeId>
        <oboInOwl:hasExactSynonym>Spinal stenosis</oboInOwl:hasExactSynonym>
        <oboInOwl:inSubset rdf:resource="http://purl.obolibrary.org/obo/hp#hposlim_core"/>
    </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/PATO_0001847 -->

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


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

    <Class rdf:about="http://purl.obolibrary.org/obo/UBERON_0002291">
        <rdfs:label>central canal of spinal cord</rdfs:label>
    </Class>
</rdf:RDF>



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



