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


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

    


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

    


    <!-- 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_0002354 -->

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


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002427">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#TransitiveProperty"/>
        <rdfs:label>causally downstream of or within</rdfs:label>
    </ObjectProperty>
    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000794">
        <rdfs:label xml:lang="en">stellar wind</rdfs:label>
    </Class>
    


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

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


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

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


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01001145">
        <rdfs:label xml:lang="en">chthonian planet</rdfs:label>
        <equivalentClass>
            <Class>
                <intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01000800"/>
                    <Restriction>
                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0001000"/>
                        <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01001124"/>
                    </Restriction>
                    <Restriction>
                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002354"/>
                        <someValuesFrom>
                            <Class>
                                <intersectionOf rdf:parseType="Collection">
                                    <Class>
                                        <unionOf rdf:parseType="Collection">
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01001146"/>
                                            <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01001158"/>
                                        </unionOf>
                                    </Class>
                                    <Restriction>
                                        <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002427"/>
                                        <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000794"/>
                                    </Restriction>
                                </intersectionOf>
                            </Class>
                        </someValuesFrom>
                    </Restriction>
                </intersectionOf>
            </Class>
        </equivalentClass>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000800"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0001000"/>
                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01001124"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002354"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <Class>
                                <unionOf rdf:parseType="Collection">
                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01001146"/>
                                    <rdf:Description rdf:about="http://purl.obolibrary.org/obo/ENVO_01001158"/>
                                </unionOf>
                            </Class>
                            <Restriction>
                                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002427"/>
                                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000794"/>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <ns3:IAO_0000116></ns3:IAO_0000116>
        <oboInOwl:inSubset>envoAstro</oboInOwl:inSubset>
        <oboInOwl:hasExactSynonym>cthonian planet</oboInOwl:hasExactSynonym>
        <rdfs:comment>This class is largely theoretical, however, some likely candidates exist. HD 209458 b and Gliese 436b are examples of a gas giants that are in the process of having their atmospheres stripped away. COROT-7b is the first exoplanet found that might be chthonian.</rdfs:comment>
        <ns3:IAO_0000115>A planet which is formed as a result of a gas giant&#39;s hydrogen and helium atmosphere, as well as its outer layers, being stripped away by a stellar wind through photoevaporation and hydrodynamic escape.</ns3:IAO_0000115>
    </Class>
    


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

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


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01001158">
        <rdfs:label xml:lang="en">hydrodynamic escape</rdfs:label>
    </Class>
</rdf:RDF>



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



