<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/MIDO?iri=http://www.ebi.ac.uk/efo/EFO_0007229"?>
<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:ontologies="http://www.co-ode.org/ontologies/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/"
     xmlns:ns3="http://purl.obolibrary.org/obo/"
     xmlns:efo="http://www.ebi.ac.uk/efo/">
    


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

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000412"/>
    <AnnotationProperty rdf:about="http://www.geneontology.org/formats/oboInOwl#hasDefinition"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // 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 xml:lang="en">has part</rdfs:label>
    </ObjectProperty>
    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/IDO_0000664">
        <rdfs:label>has_material_basis_in</rdfs:label>
    </ObjectProperty>
    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/MONDO_0000254">
        <rdfs:label xml:lang="en">cutaneous mycosis</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/MONDO_0000256">
        <rdfs:label xml:lang="en">systemic mycosis</rdfs:label>
    </Class>
    


    <!-- http://www.co-ode.org/ontologies/MIDO_0000005 -->

    <Class rdf:about="http://www.co-ode.org/ontologies/MIDO_0000005">
        <rdfs:label xml:lang="en">fungal infectious disease</rdfs:label>
    </Class>
    


    <!-- http://www.co-ode.org/ontologies/MIDO_0000030 -->

    <Class rdf:about="http://www.co-ode.org/ontologies/MIDO_0000030">
        <rdfs:label xml:lang="en">cryptococcus neoformans</rdfs:label>
    </Class>
    


    <!-- http://www.ebi.ac.uk/efo/EFO_0007229 -->

    <Class rdf:about="http://www.ebi.ac.uk/efo/EFO_0007229">
        <rdfs:label xml:lang="en">cryptococcosis</rdfs:label>
        <equivalentClass>
            <Class>
                <intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://www.co-ode.org/ontologies/MIDO_0000005"/>
                    <Class>
                        <unionOf rdf:parseType="Collection">
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/IDO_0000664"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/MONDO_0000254"/>
                            </Restriction>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/IDO_0000664"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/MONDO_0000256"/>
                            </Restriction>
                        </unionOf>
                    </Class>
                    <Restriction>
                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
                        <someValuesFrom rdf:resource="http://www.co-ode.org/ontologies/MIDO_0000030"/>
                    </Restriction>
                </intersectionOf>
            </Class>
        </equivalentClass>
        <rdfs:subClassOf rdf:resource="http://www.co-ode.org/ontologies/MIDO_0000005"/>
        <oboInOwl:hasDefinition>A fungal infectious disease that can be caused by Cryptococcus neoformans. It can present as an acute, chronic, localized or disseminated infection. Sites of involvement include the lungs, central nervous system and meninges, skin, and visceral organs.--2004 [ NCIT : P378 ]</oboInOwl:hasDefinition>
        <oboInOwl:hasDefinition>A fungal infectious disease that is caused by the fungus Cryptococcus neoformansacute. Can be a chronic, localized or disseminated infection. Sites of involvement include the lungs, central nervous system and meninges, skin, and visceral organs.--2004 [ NCIT : P378 ]</oboInOwl:hasDefinition>
        <ns3:IAO_0000412>http://www.ebi.ac.uk/efo/EFO</ns3:IAO_0000412>
    </Class>
</rdf:RDF>



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



