Skip to content
Snippets Groups Projects
Commit da828c93 authored by Aurélien Lamercerie's avatar Aurélien Lamercerie
Browse files

Dev Extractions (dev1, dev6 and sample)

parent 2397cb76
Branches
Tags
No related merge requests found
Showing
with 19974 additions and 322 deletions
......@@ -30,17 +30,17 @@ ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/
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-hasPart-sun-and-object-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-sun-and-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
......@@ -51,11 +51,11 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-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-sun-and-object-etc> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
......@@ -66,10 +66,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<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-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
......@@ -103,31 +103,31 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-object" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-sun" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
......@@ -153,17 +153,17 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> ],
[ 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> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
......
......@@ -779,6 +779,9 @@ sys:Out_AnnotationProperty a owl:AnnotationProperty .
net:Composite_Property_Net a owl:Class ;
rdfs:subClassOf net:Property_Net .
net:Deprecated_Net a owl:Class ;
rdfs:subClassOf net:Net .
net:Feature a owl:Class ;
rdfs:subClassOf net:Net_Structure .
......@@ -790,12 +793,12 @@ net:Logical_Set_Net a owl:Class ;
net:atomProperty_bind_b a net:Atom_Property_Net ;
:role_ARG0 net:atomClass_gravitation_g,
net:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g ;
net:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ;
:role_ARG1 net:atomClass_system_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object_s ;
net:coverBaseNode :leaf_bind-01_b ;
net:coverNode :leaf_bind-01_b ;
net:hasPropertyName "bind" ;
......@@ -814,7 +817,7 @@ net:class_list a owl:Class ;
rdfs:label "classList" ;
rdfs:subClassOf net:Type .
net:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g a net:Composite_Class_Net ;
net:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g a net:Composite_Class_Net ;
net:coverBaseNode :leaf_gravitation_g ;
net:coverNode :leaf_and_a,
:leaf_bind-01_b,
......@@ -822,10 +825,10 @@ net:compositeClass_gravitation-binding-system-hasPart-sun-and-object-etc_g a net
:leaf_hasPart_p9,
:leaf_system_s ;
net:coverNodeCount 5 ;
net:hasClassName "gravitation-binding-system-hasPart-sun-and-object-etc" ;
net:hasClassName "gravitation-binding-system-hasPart-sun-and-object" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_gravitation_g ;
net:hasRestriction01 net:restriction_binding_system-hasPart-sun-and-object-etc ;
net:hasRestriction01 net:restriction_binding_system-hasPart-sun-and-object ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
......@@ -837,6 +840,18 @@ net:objectType a owl:AnnotationProperty ;
rdfs:label "object type" ;
rdfs:subPropertyOf net:objectProperty .
net:phenomena_conjunction-AND_a a net:Phenomena_Net ;
:role_op1 net:atomClass_sun_s2 ;
:role_op2 net:atomClass_object_o,
net:compositeClass_object-orbiting-sun_o ;
net:coverBaseNode :leaf_and_a ;
net:coverNode :leaf_and_a ;
net:hasPhenomenaRef "and" ;
net:hasPhenomenaType :phenomena_conjunction_and ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:phenomena_conjunction-OR_o3 a net:Phenomena_Net ;
:role_op1 net:atomProperty_direct_d ;
:role_op2 net:atomProperty_direct_d2,
......@@ -849,7 +864,7 @@ net:phenomena_conjunction-OR_o3 a net:Phenomena_Net ;
net:trackProgress net:initialized,
net:relation_propagated .
net:restriction_binding_system-hasPart-sun-and-object-etc a net:Restriction_Net ;
net:restriction_binding_system-hasPart-sun-and-object a net:Restriction_Net ;
net:coverBaseNode :leaf_gravitation_g ;
net:coverNode :leaf_and_a,
:leaf_bind-01_b,
......@@ -860,19 +875,9 @@ net:restriction_binding_system-hasPart-sun-and-object-etc a net:Restriction_Net
:leaf_bind-01_b,
:leaf_hasPart_p9,
:leaf_system_s ;
net:hasRestrictionNetValue net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:hasRestrictionNetValue net:compositeClass_system-hasPart-sun-and-object_s ;
net:hasRestrictionOnProperty net:atomProperty_bind_b .
net:restriction_orbiting_sun a net:Restriction_Net ;
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o,
:leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:coverTargetNode :leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:hasRestrictionNetValue net:atomClass_sun_s2 ;
net:hasRestrictionOnProperty net:atomProperty_orbit_o2 .
net:value_negative_blankNode a net:Value_Net ;
net:hasStructure "SSC-01-01" ;
net:hasValueLabel "negative" ;
......@@ -1008,9 +1013,6 @@ sys:Out_ObjectProperty a owl:ObjectProperty .
net:Class_Net a owl:Class ;
rdfs:subClassOf net:Net .
net:Deprecated_Net a owl:Class ;
rdfs:subClassOf net:Net .
net:Phenomena_Net a owl:Class ;
rdfs:subClassOf net:Net .
......@@ -1087,41 +1089,41 @@ net:compositeProperty_not-direct_d2 a net:Composite_Property_Net ;
net:logicalSet_and_a a net:Logical_Set_Net ;
:role_op1 net:atomClass_sun_s2 ;
:role_op2 net:atomClass_object_o,
net:compositeClass_object-orbiting-sun_o ;
net:compositeClass_object-orbiting-sun_o,
net:restriction_orbiting_sun ;
net:bindPropertyNet net:atomProperty_hasPart_p9 ;
net:bindRestriction net:restriction_hasPart_object,
net:restriction_hasPart_object-orbiting-sun,
net:restriction_hasPart_sun ;
net:containsNet net:atomClass_object_o,
net:atomClass_sun_s2,
net:compositeClass_object-orbiting-sun_o ;
net:containsNet1 net:atomClass_sun_s2 ;
net:containsNet2 net:atomClass_object_o,
net:compositeClass_object-orbiting-sun_o ;
net:coverBaseNode :leaf_and_a ;
net:coverNode :leaf_and_a,
:leaf_hasPart_p9 ;
net:hasContentNumber 1,
2,
3,
4,
5 ;
net:coverNode :leaf_and_a ;
net:hasLogicalConstraint "AND" ;
net:hasNaming "hasPart-sun-and-object-etc",
net:hasNaming "hasPart-sun-and-object",
"hasPart-sun-and-object-etc",
"hasPart-sun-and-object-orbiting-sun-etc" ;
net:hasStructure "SSC-01-01" ;
net:trackMainNetComposante net:atomClass_object_o,
net:atomClass_sun_s2,
net:compositeClass_object-orbiting-sun_o,
net:phenomena_conjunction-AND_a ;
net:trackNetComposante net:atomClass_object_o,
net:atomClass_sun_s2,
net:atomProperty_hasPart_p9,
net:compositeClass_object-orbiting-sun_o,
net:phenomena_conjunction-AND_a ;
net:trackProgress net:initialized,
net:relation_propagated .
net:objectProperty a owl:AnnotationProperty ;
rdfs:label "object attribute" .
net:restriction_orbiting_sun a net:Restriction_Net ;
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o,
:leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:coverTargetNode :leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:hasRestrictionNetValue net:atomClass_sun_s2 ;
net:hasRestrictionOnProperty net:atomProperty_orbit_o2 .
net:value_SolarSystem_blankNode a net:Value_Net ;
net:hasStructure "SSC-01-01" ;
net:hasValueLabel "Solar System" ;
......@@ -1171,7 +1173,7 @@ ns21:Frame a ns21:Concept,
:toReify a owl:AnnotationProperty ;
rdfs:subPropertyOf :AMR_AnnotationProperty .
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s a net:Composite_Class_Net ;
net:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s a net:Composite_Class_Net ;
:role_domain net:atomClass_system_p,
net:individual_system_SolarSystem ;
net:coverBaseNode :leaf_system_s ;
......@@ -1182,16 +1184,16 @@ net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun
:leaf_sun_s2,
:leaf_system_s ;
net:coverNodeCount 6 ;
net:hasClassName "system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun" ;
net:hasClassName "system-hasPart-sun-and-object-hasPart-object-orbiting-sun" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_system_p,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:compositeClass_system-hasPart-sun-and-object_s ;
net:hasRestriction01 net:restriction_hasPart_object-orbiting-sun ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s a net:Composite_Class_Net ;
net:compositeClass_system-hasPart-sun-and-object-hasPart-object_s a net:Composite_Class_Net ;
:role_domain net:atomClass_system_p,
net:individual_system_SolarSystem ;
net:coverBaseNode :leaf_system_s ;
......@@ -1200,16 +1202,16 @@ net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s a net:Comp
:leaf_object_o,
:leaf_system_s ;
net:coverNodeCount 4 ;
net:hasClassName "system-hasPart-sun-and-object-etc-hasPart-object" ;
net:hasClassName "system-hasPart-sun-and-object-hasPart-object" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_system_p,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:compositeClass_system-hasPart-sun-and-object_s ;
net:hasRestriction01 net:restriction_hasPart_object ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s a net:Composite_Class_Net ;
net:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s a net:Composite_Class_Net ;
:role_domain net:atomClass_system_p,
net:individual_system_SolarSystem ;
net:coverBaseNode :leaf_system_s ;
......@@ -1218,10 +1220,10 @@ net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s a net:Composi
:leaf_sun_s2,
:leaf_system_s ;
net:coverNodeCount 4 ;
net:hasClassName "system-hasPart-sun-and-object-etc-hasPart-sun" ;
net:hasClassName "system-hasPart-sun-and-object-hasPart-sun" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_system_p,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:compositeClass_system-hasPart-sun-and-object_s ;
net:hasRestriction01 net:restriction_hasPart_sun ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
......@@ -1235,19 +1237,6 @@ net:list a owl:Class ;
rdfs:label "list" ;
rdfs:subClassOf net:Type .
net:phenomena_conjunction-AND_a a net:Deprecated_Net,
net:Phenomena_Net ;
:role_op1 net:atomClass_sun_s2 ;
:role_op2 net:atomClass_object_o,
net:compositeClass_object-orbiting-sun_o ;
net:coverBaseNode :leaf_and_a ;
net:coverNode :leaf_and_a ;
net:hasPhenomenaRef "and" ;
net:hasPhenomenaType :phenomena_conjunction_and ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:restriction_hasPart_object a net:Restriction_Net ;
net:coverBaseNode :leaf_system_s ;
net:coverNode :leaf_and_a,
......@@ -1350,6 +1339,31 @@ net:Atom_Class_Net a owl:Class ;
net:Restriction_Net a owl:Class ;
rdfs:subClassOf net:Net .
net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
:role_ARG0 net:atomClass_system_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object_s ;
:role_ARG1 net:atomClass_object_o,
net:atomClass_sun_s2,
net:compositeClass_object-orbiting-sun_o,
net:logicalSet_and_a,
net:phenomena_conjunction-AND_a ;
net:coverBaseNode :leaf_hasPart_p9 ;
net:coverNode :leaf_hasPart_p9 ;
net:hasPropertyName "hasPart" ;
net:hasPropertyName01 "hasPart" ;
net:hasPropertyName10 "hasPart" ;
net:hasPropertyName12 "hasPart" ;
net:hasPropertyType owl:ObjectProperty ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked true ;
net:targetArgumentNode :leaf_and_a,
:leaf_system_s ;
net:trackProgress net:initialized,
net:relation_propagated .
net:individual_system_SolarSystem a net:Individual_Net ;
:role_name net:value_SolarSystem_blankNode ;
net:coverBaseNode :leaf_system_p ;
......@@ -1358,10 +1372,10 @@ net:individual_system_SolarSystem a net:Individual_Net ;
net:hasMotherClassName net:atomClass_system_p ;
net:hasMotherClassNet net:atomClass_system_p,
net:atomClass_system_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
net:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object_s ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
......@@ -1401,31 +1415,6 @@ net:atomClass_system_s a net:Atom_Class_Net,
net:trackProgress net:initialized,
net:relation_propagated .
net:atomProperty_hasPart_p9 a net:Atom_Property_Net ;
:role_ARG0 net:atomClass_system_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s,
net:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s,
net:compositeClass_system-hasPart-sun-and-object-etc_s ;
:role_ARG1 net:atomClass_object_o,
net:atomClass_sun_s2,
net:compositeClass_object-orbiting-sun_o,
net:logicalSet_and_a,
net:phenomena_conjunction-AND_a ;
net:coverBaseNode :leaf_hasPart_p9 ;
net:coverNode :leaf_hasPart_p9 ;
net:hasPropertyName "hasPart" ;
net:hasPropertyName01 "hasPart" ;
net:hasPropertyName10 "hasPart" ;
net:hasPropertyName12 "hasPart" ;
net:hasPropertyType owl:ObjectProperty ;
net:hasStructure "SSC-01-01" ;
net:isCoreRoleLinked true ;
net:targetArgumentNode :leaf_and_a,
:leaf_system_s ;
net:trackProgress net:initialized,
net:relation_propagated .
rdf:Property a owl:Class .
:AMR_Relation a owl:Class ;
......@@ -1434,7 +1423,21 @@ rdf:Property a owl:Class .
net:Relation a owl:Class ;
rdfs:subClassOf net:Net_Structure .
net:compositeClass_system-hasPart-sun-and-object-etc_s a net:Composite_Class_Net ;
net:compositeClass_object-orbiting-sun_o a net:Composite_Class_Net ;
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o,
:leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:coverNodeCount 3 ;
net:hasClassName "object-orbiting-sun" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_object_o ;
net:hasRestriction01 net:restriction_orbiting_sun ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:compositeClass_system-hasPart-sun-and-object_s a net:Composite_Class_Net ;
:role_domain net:atomClass_system_p,
net:individual_system_SolarSystem ;
net:coverBaseNode :leaf_system_s ;
......@@ -1442,7 +1445,7 @@ net:compositeClass_system-hasPart-sun-and-object-etc_s a net:Composite_Class_Net
:leaf_hasPart_p9,
:leaf_system_s ;
net:coverNodeCount 3 ;
net:hasClassName "system-hasPart-sun-and-object-etc" ;
net:hasClassName "system-hasPart-sun-and-object" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_system_p,
net:atomClass_system_s ;
......@@ -1468,27 +1471,6 @@ net:Type a owl:Class ;
rdfs:label "Semantic Net Type" ;
rdfs:subClassOf net:Net_Structure .
net:compositeClass_object-orbiting-sun_o a net:Composite_Class_Net ;
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o,
:leaf_orbit-01_o2,
:leaf_sun_s2 ;
net:coverNodeCount 3 ;
net:hasClassName "object-orbiting-sun" ;
net:hasClassType sys:Entity ;
net:hasMotherClassNet net:atomClass_object_o ;
net:hasRestriction01 net:restriction_orbiting_sun ;
net:hasStructure "SSC-01-01" ;
net:trackProgress net:initialized,
net:relation_propagated .
net:has_object a owl:AnnotationProperty ;
rdfs:label "relation" ;
rdfs:subPropertyOf net:netProperty .
:AMR_Op_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
net:atomClass_object_o a net:Atom_Class_Net ;
net:coverBaseNode :leaf_object_o ;
net:coverNode :leaf_object_o ;
......@@ -1509,6 +1491,13 @@ net:atomClass_sun_s2 a net:Atom_Class_Net ;
net:trackProgress net:initialized,
net:relation_propagated .
net:has_object a owl:AnnotationProperty ;
rdfs:label "relation" ;
rdfs:subPropertyOf net:netProperty .
:AMR_Op_Role a owl:Class ;
rdfs:subClassOf :AMR_Role .
:AMR_AnnotationProperty a owl:AnnotationProperty .
:AMR_Core_Role a owl:Class ;
......@@ -1543,6 +1532,13 @@ net:atomClass_system_p a net:Atom_Class_Net ;
:AMR_Leaf a owl:Class ;
rdfs:subClassOf :AMR_Structure .
:leaf_hasPart_p9 a :AMR_Leaf ;
:edge_p9_ARG0_s :leaf_system_s ;
:edge_p9_ARG1_a :leaf_and_a ;
:hasConcept :concept_part ;
:hasVariable :variable_p9 ;
:isReifiedLeaf true .
:leaf_object_o a :AMR_Leaf ;
:hasConcept :concept_object ;
:hasVariable :variable_o .
......@@ -1553,13 +1549,6 @@ net:atomClass_system_p a net:Atom_Class_Net ;
:hasConcept :concept_and ;
:hasVariable :variable_a .
:leaf_hasPart_p9 a :AMR_Leaf ;
:edge_p9_ARG0_s :leaf_system_s ;
:edge_p9_ARG1_a :leaf_and_a ;
:hasConcept :concept_part ;
:hasVariable :variable_p9 ;
:isReifiedLeaf true .
net:objectValue a owl:AnnotationProperty ;
rdfs:label "valuations"@fr ;
rdfs:subPropertyOf net:objectProperty .
......
......@@ -30,17 +30,17 @@ ns1:atomProperty_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/
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-hasPart-sun-and-object-etc_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> .
ns1:compositeClass_gravitation-binding-system-hasPart-sun-and-object_g ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-object-orbiting-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object> .
ns1:compositeClass_system-hasPart-sun-and-object-etc-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-hasPart-sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> .
ns1:compositeClass_system-hasPart-sun-and-object-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> .
ns1:compositeClass_system-hasPart-sun-and-object_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> .
ns1:compositeProperty_not-direct_d2 ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#not-direct> .
......@@ -51,11 +51,11 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-object-etc" ;
<https://tenet.tetras-libre.fr/extract-result#gravitation-binding-system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "gravitation-binding-system-hasPart-sun-and-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-sun-and-object-etc> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ],
<https://tenet.tetras-libre.fr/extract-result#gravitation> ;
ns2:fromStructure "SSC-01-01" .
......@@ -66,10 +66,10 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
<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-sun-and-object-etc>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-01-01" .
......@@ -103,31 +103,31 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-object" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-object-orbiting-sun" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-object-orbiting-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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>,
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc-hasPart-sun" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-hasPart-sun> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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-sun-and-object-etc> ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> a owl:Class ;
......@@ -153,17 +153,17 @@ ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-lib
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-01-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object-etc> a owl:Class ;
rdfs:label "system-hasPart-sun-and-object-etc" ;
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun-and-object> a owl:Class ;
rdfs:label "system-hasPart-sun-and-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> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> ],
[ 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> ],
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-01-01" .
......
This diff is collapsed.
@base <http://SolarSystemDev6/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_planet_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_primary_p6 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#primary> .
ns1:atomProperty_compose_c ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#compose> .
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_more_m2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#more> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#more> .
ns1:compositeClass_planet-compose-of-metal_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-rock_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_system-compose-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc-hasPart-planet> .
ns1:compositeClass_system-compose-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> .
ns1:compositeClass_system-hasPart-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc-hasPart-planet> .
ns1:compositeClass_system-hasPart-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> .
ns1:individual_inner_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#inner> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_metal_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#metal> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_planet_Earth ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#earth> .
ns1:individual_planet_Mars ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mars> .
ns1:individual_planet_Mercury ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mercury> .
ns1:individual_planet_Venus ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#venus> .
ns1:individual_rock_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#rock> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_small_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#small> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_terrestrial_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#terrestrial> ;
ns1:hasMotherClassURI ns2:Feature .
<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ;
rdfs:label "compose" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#earth> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Earth" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#inner> a owl:individual ;
rdfs:label "inner" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#mars> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Mars" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#mercury> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Mercury" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#primary> a owl:Class ;
rdfs:label "primary" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#small> a owl:individual ;
rdfs:label "small" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc-hasPart-planet> a owl:Class ;
rdfs:label "system-compose-planet-and-planet-etc-hasPart-planet" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc-hasPart-planet> a owl:Class ;
rdfs:label "system-hasPart-planet-and-planet-etc-hasPart-planet" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:individual ;
rdfs:label "terrestrial" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#venus> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Venus" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ;
rdfs:label "more" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ] .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ] .
<https://tenet.tetras-libre.fr/extract-result#metal> a owl:individual ;
rdfs:label "metal" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#rock> a owl:individual ;
rdfs:label "rock" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> a owl:Class ;
rdfs:label "planet-compose-of-metal" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
<https://tenet.tetras-libre.fr/extract-result#planet> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> a owl:Class ;
rdfs:label "planet-compose-of-rock" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
<https://tenet.tetras-libre.fr/extract-result#planet> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#compose-of> a owl:ObjectProperty ;
rdfs:label "compose-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-06-01" .
@base <http://SolarSystemDev6/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_planet_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_primary_p6 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#primary> .
ns1:atomProperty_compose_c ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#compose> .
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_more_m2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#more> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#more> .
ns1:compositeClass_planet-compose-of-metal_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-metal_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> .
ns1:compositeClass_planet-compose-of-rock_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_planet-compose-of-rock_p5 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> .
ns1:compositeClass_system-compose-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc-hasPart-planet> .
ns1:compositeClass_system-compose-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> .
ns1:compositeClass_system-hasPart-planet-and-planet-etc-hasPart-planet_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc-hasPart-planet> .
ns1:compositeClass_system-hasPart-planet-and-planet-etc_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> .
ns1:individual_inner_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#inner> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_metal_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#metal> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_planet_Earth ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#earth> .
ns1:individual_planet_Mars ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mars> .
ns1:individual_planet_Mercury ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#mercury> .
ns1:individual_planet_Venus ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#venus> .
ns1:individual_rock_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#rock> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_small_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#small> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_terrestrial_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#terrestrial> ;
ns1:hasMotherClassURI ns2:Feature .
<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ;
rdfs:label "compose" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#earth> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Earth" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#inner> a owl:individual ;
rdfs:label "inner" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#mars> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Mars" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#mercury> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Mercury" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#primary> a owl:Class ;
rdfs:label "primary" ;
rdfs:subClassOf ns2:Undetermined_Thing ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#small> a owl:individual ;
rdfs:label "small" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc-hasPart-planet> a owl:Class ;
rdfs:label "system-compose-planet-and-planet-etc-hasPart-planet" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc-hasPart-planet> a owl:Class ;
rdfs:label "system-hasPart-planet-and-planet-etc-hasPart-planet" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:individual ;
rdfs:label "terrestrial" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#venus> a owl:individual,
<https://tenet.tetras-libre.fr/extract-result#planet>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal>,
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> ;
rdfs:label "Venus" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ;
rdfs:label "more" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#system-compose-planet-and-planet-etc> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ] .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-planet-and-planet-etc> a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ],
[ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ] .
<https://tenet.tetras-libre.fr/extract-result#metal> a owl:individual ;
rdfs:label "metal" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#rock> a owl:individual ;
rdfs:label "rock" ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-metal> a owl:Class ;
rdfs:label "planet-compose-of-metal" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#metal> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
<https://tenet.tetras-libre.fr/extract-result#planet> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet-compose-of-rock> a owl:Class ;
rdfs:label "planet-compose-of-rock" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
[ a owl:Restriction ;
owl:hasValue <https://tenet.tetras-libre.fr/extract-result#rock> ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose-of> ],
<https://tenet.tetras-libre.fr/extract-result#planet> ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#compose-of> a owl:ObjectProperty ;
rdfs:label "compose-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-06-01" .
<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-06-01" .
This diff is collapsed.
@base <http://SolarSystemSample/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_body_b ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#body> .
ns1:atomClass_object_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_object_o3 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object> .
ns1:atomClass_planet_p ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_planet_p2 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#planet> .
ns1:atomClass_sun_s ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#sun> .
ns1:atomClass_system_s4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system> .
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_hasPart_p9 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#hasPart> .
ns1:atomProperty_more_m2 ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#more> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#more> .
ns1:atomProperty_most_m ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#most> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#most> .
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:atomProperty_remain_r ns1:hasProperty12URI <https://tenet.tetras-libre.fr/extract-result#remain-of> ;
ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#remain> .
ns1:compositeClass_object-orbiting-sun_o ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#object-orbiting-sun> .
ns1:compositeClass_system-hasPart-body_s4 ns1:hasClassURI <https://tenet.tetras-libre.fr/extract-result#system-hasPart-body> .
ns1:compositeProperty_direct-orbit ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct-orbit> .
ns1:compositeProperty_direct-orbit-orbit ns1:hasPropertyURI <https://tenet.tetras-libre.fr/extract-result#direct-orbit-orbit> .
ns1:individual_dwarf-planet_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#dwarf-planet> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_large_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#large> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_small-body_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#small-body> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_small_fromClass ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#small> ;
ns1:hasMotherClassURI ns2:Feature .
ns1:individual_system_SolarSystem ns1:hasIndividualURI <https://tenet.tetras-libre.fr/extract-result#solar-system> .
<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ;
rdfs:label "direct" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-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-02-01" .
<https://tenet.tetras-libre.fr/extract-result#direct-orbit> a owl:ObjectProperty ;
rdfs:label "direct-orbit" ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#direct-orbit-orbit> a owl:ObjectProperty ;
rdfs:label "direct-orbit-orbit" ;
rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:individual ;
rdfs:label "dwarf-planet" ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#large> a owl:individual ;
rdfs:label "large" ;
ns2:fromStructure "SSC-02-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-02-01" .
<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ;
rdfs:label "remain" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#remain-of> a owl:ObjectProperty ;
rdfs:label "remain-of" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#small> a owl:individual ;
rdfs:label "small" ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:individual ;
rdfs:label "small-body" ;
ns2:fromStructure "SSC-02-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-body> ;
rdfs:label "Solar System" ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ;
rdfs:label "body" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ;
rdfs:label "more" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ;
rdfs:label "most" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-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-02-01" .
<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ;
rdfs:label "planet" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ;
rdfs:label "sun" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#system-hasPart-body> a owl:Class ;
rdfs:label "system-hasPart-body" ;
rdfs:subClassOf [ a owl:Restriction ;
owl:onProperty <https://tenet.tetras-libre.fr/extract-result#hasPart> ;
owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#body> ],
<https://tenet.tetras-libre.fr/extract-result#system> ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ;
rdfs:label "hasPart" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ;
rdfs:label "object" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ;
rdfs:label "orbit" ;
rdfs:subPropertyOf ns2:Out_ObjectProperty ;
ns2:fromStructure "SSC-02-01" .
<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ;
rdfs:label "system" ;
rdfs:subClassOf ns2:Entity ;
ns2:fromStructure "SSC-02-01" .
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment