<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KTAO?iri=http://purl.obolibrary.org/obo/ENVO_01000983"?>
<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_0000412"/>
    <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 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">has_part</rdfs:label>
        <rdfs:label>has part</rdfs:label>
        <rdfs:label xml:lang="en">has part</rdfs:label>
    </ObjectProperty>
    


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

    <ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0002131">
        <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#SymmetricProperty"/>
        <rdfs:label>overlaps</rdfs:label>
        <rdfs:label xml:lang="en">overlaps</rdfs:label>
    </ObjectProperty>
    


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

    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00000070">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">construction</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00003074">
        <rdfs:label rdf:datatype="http://www.w3.org/2001/XMLSchema#string">manufactured product</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_01000817 -->

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


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_01000983">
        <rdfs:label xml:lang="en">technosphere</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000813"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_00000070"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0002131"/>
                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_01000817"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://purl.obolibrary.org/obo/BFO_0000051"/>
                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_00003074"/>
            </Restriction>
        </rdfs:subClassOf>
        <ns3:IAO_0000115>A part of an astronomical body which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology and which are within the gravitational sphere of influence of that body.</ns3:IAO_0000115>
        <rdfs:comment>The gravitational sphere of influence referenced in this class&#39; definition is the Hill sphere: a region in which an object dominates the attraction of satellites despite gravitational perturbations.</rdfs:comment>
        <ns3:IAO_0000115>An environmental system which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology within the gravitational sphere of influence of an astronomical body.</ns3:IAO_0000115>
        <oboInOwl:inSubset>envoAstro</oboInOwl:inSubset>
        <ns3:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/envo.owl"/>
    </Class>
</rdf:RDF>



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



