<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/ENVO?iri=http://purl.obolibrary.org/obo/ENVO_01001142"?>
<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#inSubset"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // 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/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/CHEBI_18248 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/CHEBI_18248">
        <rdfs:label>iron atom</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/CHEBI_24873">
        <rdfs:label>iron molecular entity</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000640">
        <rdfs:label xml:lang="en">planetary mantle</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000641">
        <rdfs:label xml:lang="en">planetary core</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000958">
        <rdfs:label xml:lang="en">terrestrial planet</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01001142">
        <rdfs:label xml:lang="en">iron planet</rdfs:label>
        <equivalentClass>
            <Class>
                <intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01000958"/>
                    <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/ENVO_01000640"/>
                                    <Restriction>
                                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000086"/>
                                        <someValuesFrom>
                                            <Class>
                                                <unionOf rdf:parseType="Collection">
                                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0000587"/>
                                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0001562"/>
                                                </unionOf>
                                            </Class>
                                        </someValuesFrom>
                                    </Restriction>
                                </intersectionOf>
                            </Class>
                        </someValuesFrom>
                    </Restriction>
                    <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/ENVO_01000641"/>
                                    <Restriction>
                                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002473"/>
                                        <someValuesFrom>
                                            <Class>
                                                <unionOf rdf:parseType="Collection">
                                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/CHEBI_18248"/>
                                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/CHEBI_24873"/>
                                                </unionOf>
                                            </Class>
                                        </someValuesFrom>
                                    </Restriction>
                                </intersectionOf>
                            </Class>
                        </someValuesFrom>
                    </Restriction>
                </intersectionOf>
            </Class>
        </equivalentClass>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000958"/>
        <rdfs:subClassOf>
            <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/ENVO_01000641"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002473"/>
                                <someValuesFrom>
                                    <Class>
                                        <unionOf rdf:parseType="Collection">
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/CHEBI_18248"/>
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/CHEBI_24873"/>
                                        </unionOf>
                                    </Class>
                                </someValuesFrom>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <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/ENVO_01000640"/>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000086"/>
                                <someValuesFrom>
                                    <Class>
                                        <unionOf rdf:parseType="Collection">
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0000587"/>
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/PATO_0001562"/>
                                        </unionOf>
                                    </Class>
                                </someValuesFrom>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <oboInOwl:hasExactSynonym>cannonball planet</oboInOwl:hasExactSynonym>
        <rdfs:comment>Mercury is the largest iron planet in the Solar System, the other terrestrial planets being composed of silicate rocks. Some extrasolar planet candidates that may be composed mainly of iron are KOI-1843 b,[5] Kepler-70b and Kepler-10b.</rdfs:comment>
        <ns4:IAO_0000115>A planet which in primarily composed of an iron-rich core with little to no mantle</ns4:IAO_0000115>
        <oboInOwl:inSubset>envoAstro</oboInOwl:inSubset>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0000587">
        <rdfs:label>decreased size</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/PATO_0001562">
        <rdfs:label>decreased mass</rdfs:label>
    </Class>
</rdf:RDF>



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



