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


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

    <AnnotationProperty rdf:about="http://purl.obolibrary.org/obo/IAO_0000116"/>
    


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

    


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

    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0000086">
        <rdfs:label xml:lang="en">has quality</rdfs:label>
    </ObjectProperty>
    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002473">
        <rdfs:label>composed primarily of</rdfs:label>
    </ObjectProperty>
    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00010483">
        <rdfs:label>environmental material</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000813">
        <rdfs:label xml:lang="en">astronomical body part</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_03000143">
        <rdfs:label xml:lang="en">cryosphere</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000813"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002473"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_00010483"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000086"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/PATO_0001985"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <ns3:IAO_0000116 xml:lang="en">For the moment the definition links to liquid water but in the future we might need to link to other materials for other planets, e.g., Mars. Need to make this planet agnostic. Might want to not have the definition link to years as some astronomical body parts might not be in systems with years.

Note that in a strict sense, rocks are also frozen but in a practical sense we use terms like &quot;solidified&quot;. This maybe something to revist if we add more astrogelogical content.</ns3:IAO_0000116>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0001985">
        <rdfs:label>frozen</rdfs:label>
    </Class>
</rdf:RDF>



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



