<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/SLSO?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: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://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_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 xml:lang="en">overlaps</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_00000070 -->

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00000070">
        <rdfs:label>human construction</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://purl.obolibrary.org/obo/ENVO_00003074">
        <rdfs:label>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/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/RO_0002473"/>
                <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_0002473"/>
                <someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/ENVO_00003074"/>
            </Restriction>
        </rdfs:subClassOf>
        <ns4: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.</ns4: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>
        <oboInOwl:inSubset>envoAstro</oboInOwl:inSubset>
    </Class>
</rdf:RDF>



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



