@base <http://SolarSystemDev1/factoid> .
@prefix ns1: <https://tenet.tetras-libre.fr/semantic-net#> .
@prefix ns2: <https://tenet.tetras-libre.fr/base-ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

ns1:atomClass_gravitation_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation> .

ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .

ns1:atomClass_sun_s2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .

ns1:atomClass_system_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .

ns1:atomClass_system_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .

ns1:atomProperty_bind_b ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#bind> .

ns1:atomProperty_direct_d ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .

ns1:atomProperty_direct_d2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#direct-of> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct> .

ns1:atomProperty_hasManner_m9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasManner> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasManner> .

ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .

ns1:atomProperty_orbit_o2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
    ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#orbit> .

ns1:compositeClass_gravitation-binding-system ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .

ns1:compositeClass_gravitation-binding-system-hasPart-object ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> .

ns1:compositeClass_gravitation-binding-system-hasPart-sun ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .

ns1:compositeClass_object-orbiting-sun ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .

ns1:compositeClass_system-hasPart-object ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .

ns1:compositeClass_system-hasPart-object-hasPart-sun ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .

ns1:compositeClass_system-hasPart-object-orbiting-sun ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .

ns1:compositeClass_system-hasPart-sun ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .

ns1:compositeClass_system-hasPart-sun-hasPart-object ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .

ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .

<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ;
    rdfs:label "bind" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
    rdfs:label "gravitation-binding-system" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ],
        <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> a owl:Class ;
    rdfs:label "gravitation-binding-system-hasPart-object" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ],
        <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> a owl:Class ;
    rdfs:label "gravitation-binding-system-hasPart-sun" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind-of> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ],
        <https://tenet.tetras-libre.fr/extract-result#gravitation> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
    rdfs:label "orbit" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#solar-system> a owl:individual,
        <https://tenet.tetras-libre.fr/extract-result#system>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> ;
    rdfs:label "Solar System" ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
    rdfs:label "direct" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#direct-of> a owl:ObjectProperty ;
    rdfs:label "direct-of" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ;
    rdfs:label "hasManner" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
    rdfs:label "object-orbiting-sun" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-of> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#object> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#orbit-of> a owl:ObjectProperty ;
    rdfs:label "orbit-of" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> a owl:Class ;
    rdfs:label "system-hasPart-object-hasPart-sun" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#system>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> a owl:Class ;
    rdfs:label "system-hasPart-object-orbiting-sun" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> ],
        <https://tenet.tetras-libre.fr/extract-result#system> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> a owl:Class ;
    rdfs:label "system-hasPart-sun-hasPart-object" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
        <https://tenet.tetras-libre.fr/extract-result#system>,
        <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#bind-of> a owl:ObjectProperty ;
    rdfs:label "bind-of" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ;
    rdfs:label "gravitation" ;
    rdfs:subClassOf ns2:Entity ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
    rdfs:label "object" ;
    rdfs:subClassOf ns2:Entity ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
    rdfs:label "sun" ;
    rdfs:subClassOf ns2:Entity ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> a owl:Class ;
    rdfs:label "system-hasPart-object" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ],
        <https://tenet.tetras-libre.fr/extract-result#system> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> a owl:Class ;
    rdfs:label "system-hasPart-sun" ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
            owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
        <https://tenet.tetras-libre.fr/extract-result#system> ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
    rdfs:label "hasPart" ;
    rdfs:subPropertyOf ns2:Out_ObjectProperty ;
    ns2:fromStructure "SSC-01-01" .

<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
    rdfs:label "system" ;
    rdfs:subClassOf ns2:Entity,
        ns2:Undetermined_Thing ;
    ns2:fromStructure "SSC-01-01" .