<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/HP?iri=http://purl.obolibrary.org/obo/HP_0003133"?>
<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: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/IAO_0000115"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasDbXref"/>
    <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_0002314 -->

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002314">
        <rdfs:label xml:lang="en">characteristic of part of</rdfs:label>
        <rdfs:label>inheres in part 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_0002143 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0002143">
        <rdfs:label>Abnormal spinal cord morphology</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/HP_0003133">
        <rdfs:label>Abnormal spinocerebellar tract morphology</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_0000051"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002314"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/UBERON_0005413"/>
                            </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_0002143"/>
        <oboInOwl:hasExactSynonym>Abnormality of the spinocerebellar tracts</oboInOwl:hasExactSynonym>
        <oboInOwl:id>HP:0003133</oboInOwl:id>
        <oboInOwl:hasDbXref>UMLS:C4025647</oboInOwl:hasDbXref>
        <ns4:IAO_0000115>An abnormality of the spinocerebellar tracts, a set of axonal fibers originating in the spinal cord and terminating in the ipsilateral cerebellum. The spinocerebellar tract convey information to the cerebellum about limb and joint position (proprioception). They comprise the ventral spinocerebellar tract, the anterior spinocerebellar tract, and the posterior spinocerebellar tract.</ns4:IAO_0000115>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0000051">
        <rdfs:label>morphology</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_0005413 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/UBERON_0005413">
        <rdfs:label>spinocerebellar tract</rdfs:label>
    </Class>
</rdf:RDF>



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



