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


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

    


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

    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000066">
        <rdfs:label xml:lang="en">occurs in</rdfs:label>
    </ObjectProperty>
    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001000">
        <rdfs:label xml:lang="en">derives from</rdfs:label>
    </ObjectProperty>
    


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

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


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002353">
        <rdfs:label xml:lang="en">output of</rdfs:label>
    </ObjectProperty>
    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002354">
        <rdfs:label xml:lang="en">formed as result of</rdfs:label>
    </ObjectProperty>
    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/CHEBI_3311">
        <rdfs:label>calcium carbonate</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00000063">
        <rdfs:label>water body</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00002016">
        <rdfs:label>sedimentary rock</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00002053">
        <rdfs:label>limestone</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_00002016"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002354"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01000725"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000066"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_00000063"/>
                            </Restriction>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002234"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/CHEBI_3311"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0001000"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/CHEBI_3311"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002353"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000725"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <oboInOwl:hasDbXref>https://en.wikipedia.org/wiki/Limestone</oboInOwl:hasDbXref>
        <ns3:IAO_0000115 xml:lang="en">A sedimentary rock which is composed primarily of calcium carbonate in the form of calcite or aragnoite.</ns3:IAO_0000115>
        <ns3:IAO_0000116 xml:lang="en">An interesting reasoning error was generated when this class had &quot;composed primariy of some CHEBI:calcium carbonate&quot;. As that was a CHEBI:mineral, and minerals are disjoint from ENVO:rock, it led to an unsatisfiable class. The current axiom works around this, but this is requires some sort of geological convention to diffferentiate between masses of minerals and rocks that are composed primarily of minerals.</ns3:IAO_0000116>
        <oboInOwl:hasDbXref>EcoLexicon:limestone</oboInOwl:hasDbXref>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000725">
        <rdfs:label xml:lang="en">chemical precipitation process</rdfs:label>
    </Class>
</rdf:RDF>



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



