Skip to content
Snippets Groups Projects
Select Git revision
  • e903e115e1758a7cad212a497e210f53e4891e85
  • main default
  • 35-cgu
  • 34-peertube-support
  • 27-add-autoplay-to-iframe
  • 33-bug-on-youtube-embed-urls
  • RC-Rekall-v1.1-fix_lpo
  • tuleap-140-go-back-to-my-capsules-page-when-i-m-on-capsule-preview-page
  • RC-Rekall-v1.2-fix10
  • RC-Rekall-v1.2-fix9
  • RC-Rekall-v1.2-fix8
  • RC-Rekall-v1.2-fix7
  • RC-Rekall-v1.2-fix6
  • RC-Rekall-v1.2-fix5
  • RC-Rekall-v1.2-fix4
  • RC-Rekall-v1.2-fix3
  • RC-Rekall-v1.2-fix2
  • RC-Rekall-v1.2-fix1
  • RC-Rekall-v1.1-fix-3
  • RC-Rekall-v1.1-fix-2
  • RC-Rekall-v1.1-fix-1
  • RC-Rekall-v1.1-delivered
  • preprod20220209-1535
23 results

symfony.lock

Blame
  • SolarSystemDev1_factoid.ttl 14.39 KiB
    @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-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-object> .
    
    ns1:compositeClass_gravitation-binding-system-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system-hasPart-sun> .
    
    ns1:compositeClass_gravitation-binding-system-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-binding-system> .
    
    ns1:compositeClass_gravitation-binding-system-hasPart-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-object> .
    
    ns1:compositeClass_gravitation-binding-system-hasPart-sun_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun> .
    
    ns1:compositeClass_gravitation-binding-system_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> .
    
    ns1:compositeClass_object-orbiting-sun-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun-orbiting-sun> .
    
    ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
    
    ns1:compositeClass_system-hasPart-object-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun> .
    
    ns1:compositeClass_system-hasPart-object-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object> .
    
    ns1:compositeClass_system-hasPart-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-sun> .
    
    ns1:compositeClass_system-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-orbiting-sun> .
    
    ns1:compositeClass_system-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> .
    
    ns1:compositeClass_system-hasPart-sun-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> .
    
    ns1:compositeClass_system-hasPart-sun-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object> .
    
    ns1:compositeClass_system-hasPart-sun-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> .
    
    ns1:compositeClass_system-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> .
    
    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> a owl:Class ;
        rdfs:label "gravitation" ;
        rdfs:subClassOf ns2:Entity ;
        ns2:fromStructure "SSC-01-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system> a owl:Class ;
        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-binding-system-binding-system> a owl:Class ;
        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-binding-system-binding-system-hasPart-object> a owl:Class ;
        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-binding-system-binding-system-hasPart-sun> a owl:Class ;
        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-binding-system-hasPart-object> a owl:Class ;
        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-binding-system-hasPart-sun> a owl:Class ;
        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#object-orbiting-sun-orbiting-sun> a owl:Class ;
        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#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-object>,
            <https://tenet.tetras-libre.fr/extract-result#system-hasPart-object-hasPart-object-orbiting-sun>,
            <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>,
            <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun>,
            <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-sun> ;
        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#system-hasPart-object-hasPart-object> a owl:Class ;
        rdfs:label "system-hasPart-object-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-object-hasPart-object-orbiting-sun> a owl:Class ;
        rdfs:label "system-hasPart-object-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-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> ;
        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> ;
        ns2:fromStructure "SSC-01-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-hasPart-object-orbiting-sun> a owl:Class ;
        rdfs:label "system-hasPart-sun-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-sun> a owl:Class ;
        rdfs:label "system-hasPart-sun-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#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#object> a owl:Class ;
        rdfs:label "object" ;
        rdfs:subClassOf ns2:Entity ;
        ns2:fromStructure "SSC-01-01" .
    
    <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
        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#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#sun> a owl:Class ;
        rdfs:label "sun" ;
        rdfs:subClassOf ns2:Entity ;
        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#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" .