From 4795451d66ca84864f4071c6d2267fa69fefebcb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20Lamercerie?= <aurelien.lamercerie@tetras-libre.fr> Date: Mon, 28 Aug 2023 13:38:39 +0200 Subject: [PATCH] Update SolarSystem (version: 2023-07-31) with Structure reference --- .../SolarSystemProd_factoid_1.ttl | 109 ++ .../SolarSystemProd_factoid_2.ttl | 87 ++ .../SolarSystemProd_factoid.ttl | 1374 +++++++++++++++++ .../SolarSystemProd_factoid_1.ttl | 109 ++ .../SolarSystemProd_factoid_10.ttl | 39 + .../SolarSystemProd_factoid_11.ttl | 115 ++ .../SolarSystemProd_factoid_12.ttl | 116 ++ .../SolarSystemProd_factoid_13.ttl | 90 ++ .../SolarSystemProd_factoid_14.ttl | 53 + .../SolarSystemProd_factoid_15.ttl | 110 ++ .../SolarSystemProd_factoid_16.ttl | 133 ++ .../SolarSystemProd_factoid_17.ttl | 123 ++ .../SolarSystemProd_factoid_18.ttl | 99 ++ .../SolarSystemProd_factoid_19.ttl | 111 ++ .../SolarSystemProd_factoid_2.ttl | 92 ++ .../SolarSystemProd_factoid_20.ttl | 117 ++ .../SolarSystemProd_factoid_21.ttl | 75 + .../SolarSystemProd_factoid_22.ttl | 101 ++ .../SolarSystemProd_factoid_23.ttl | 70 + .../SolarSystemProd_factoid_3.ttl | 104 ++ .../SolarSystemProd_factoid_4.ttl | 93 ++ .../SolarSystemProd_factoid_5.ttl | 79 + .../SolarSystemProd_factoid_6.ttl | 96 ++ .../SolarSystemProd_factoid_7.ttl | 73 + .../SolarSystemProd_factoid_8.ttl | 169 ++ .../SolarSystemProd_factoid_9.ttl | 79 + 26 files changed, 3816 insertions(+) create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl create mode 100644 SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_1.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_11.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_12.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_15.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_16.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_17.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_18.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_20.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_21.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_22.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_23.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_5.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_6.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl create mode 100644 SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl new file mode 100644 index 0000000..2b97132 --- /dev/null +++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_1.ttl @@ -0,0 +1,109 @@ +@prefix base: <https://reference.tetras-libre.fr/base-ontology#> . +@prefix owl: <http://www.w3.org/2002/07/owl#> . +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . +@prefix result: <https://reference.tetras-libre.fr/expected-result#> . + +result:SolarSystem a owl:Individual, + result:system, + result:system-isBindBy-gravitation, + result:system-hasPart-object-orbit-sun, + result:system-hasPart-sun ; + rdfs:label "SolarSystem" . + +result:direct a owl:ObjectProperty ; + rdfs:label "direct" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:gravitation-bind-system a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:bind ; + owl:someValuesFrom result:system ], + result:gravitation . + +result:hasManner a owl:ObjectProperty ; + rdfs:label "hasManner" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:not-direct a owl:ObjectProperty ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:object-orbit-sun a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:orbit ; + owl:someValuesFrom result:sun ], + result:object . + +result:object-orbit-hasManner-direct-sun a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:orbit-hasManner-direct ; + owl:someValuesFrom result:sun ], + result:object-orbit-sun . + +result:object-orbit-hasManner-not-direct-sun a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:orbit-hasManner-not-direct ; + owl:someValuesFrom result:sun ], + result:object-orbit-sun . + +result:gravitation a owl:Class ; + rdfs:label "gravitation" ; + rdfs:subClassOf base:Entity . + +result:system-isBindBy-gravitation a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:isBindBy ; + owl:someValuesFrom result:gravitation ], + result:system . + +result:system-hasPart-object a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:hasPart ; + owl:someValuesFrom result:object ], + result:system . + +result:system-hasPart-object-orbit-sun a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:hasPart ; + owl:someValuesFrom result:object-orbit-sun ], + result:system-hasPart-object . + +result:system-hasPart-sun a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty result:hasPart ; + owl:someValuesFrom result:sun ], + result:system . + +result:bind a owl:ObjectProperty ; + rdfs:label "bind" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:isBindBy owl:inverseOf result:bind ; + rdfs:label "isBindBy" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:orbit a owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:orbit-hasManner-direct a owl:ObjectProperty ; + rdfs:subPropertyOf result:orbit . + +result:orbit-hasManner-not-direct a owl:ObjectProperty ; + rdfs:subPropertyOf result:orbit . + +result:hasPart a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf base:Out_ObjectProperty . + +result:object a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf base:Entity . + +result:system a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf base:Entity. + +result:sun a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf base:Entity . + diff --git a/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl new file mode 100644 index 0000000..d09557e --- /dev/null +++ b/SolarSystem-20230731/reference-ontology-definitions/SolarSystemProd_factoid_2.ttl @@ -0,0 +1,87 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#system> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ; + rdfs:label "direct" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class ; + rdfs:label "orbit" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ; + rdfs:label "remain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ; + rdfs:label "body" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#small> ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid.ttl new file mode 100644 index 0000000..5ee3af9 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid.ttl @@ -0,0 +1,1374 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Cerre> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Cerre" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Earth> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Earth" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Eris> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Eris" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Gonggong> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Gonggong" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Haumea> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Haumea" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Jupiter> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Jupiter" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#KuiperBelt> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#belt> ; + rdfs:label "KuiperBelt" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Makemake> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Makemake" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Mars> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mars" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Mercury> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mercury" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#MilkyWay> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#galaxy> ; + rdfs:label "MilkyWay" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Neptune> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Neptune" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Neptunian> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Neptunian" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Oortcloud> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#cloud> ; + rdfs:label "Oortcloud" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Orcus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Orcus" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Orion> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#arm> ; + rdfs:label "Orion" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Pluto> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Pluto" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ProximaCentre> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#star> ; + rdfs:label "ProximaCentre" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Quaoar> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Quaoar" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Saturn> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Saturn" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Sedna> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Sedna" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> 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-sun> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Uranus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Uranus" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#Venus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Venus" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#accept> a owl:Class ; + rdfs:label "accept" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#after> a owl:ObjectProperty ; + rdfs:label "after" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#all> a owl:ObjectProperty ; + rdfs:label "all" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#also> a owl:Class ; + rdfs:label "also" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ammonia> a owl:Class ; + rdfs:label "ammonia" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#asteroid-belt-contain-object> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#contain> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ], + <https://tenet.tetras-libre.fr/extract-result#asteroid-belt> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#at-least> a owl:Class ; + rdfs:label "at-least" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#before> a owl:Class ; + rdfs:label "before" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#body-include-body> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#body> ], + <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#centaur> a owl:Class ; + rdfs:label "centaur" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#center> a owl:Class ; + rdfs:label "center" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#charge> a owl:ObjectProperty ; + rdfs:label "charge" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular-orbit-lie-disc> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#lie> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#disc> ], + <https://tenet.tetras-libre.fr/extract-result#circular-orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#close> a owl:ObjectProperty ; + rdfs:label "close" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#collapse-cause-gravity> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#cause> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#gravity> ], + <https://tenet.tetras-libre.fr/extract-result#collapse> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#compose-resemble-terrestrial-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#resemble> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ], + <https://tenet.tetras-libre.fr/extract-result#compose> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#considerable> a owl:Class ; + rdfs:label "considerable" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#date> a owl:ObjectProperty ; + rdfs:label "date" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#debate> a owl:Class ; + rdfs:label "debate" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ; + rdfs:label "direct" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#disc-hasPart-edge> 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#edge> ], + <https://tenet.tetras-libre.fr/extract-result#disc> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#discover> a owl:Class ; + rdfs:label "discover" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#distance-quantity> a owl:Class ; + rdfs:label "distance-quantity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#distant> a owl:ObjectProperty ; + rdfs:label "distant" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#dust> a owl:Class ; + rdfs:label "dust" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ecliptic> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#thing> ; + rdfs:label "ecliptic" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#enough> a owl:Class ; + rdfs:label "enough" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#exist> a owl:ObjectProperty ; + rdfs:label "exist" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#extend> a owl:ObjectProperty ; + rdfs:label "extend" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#flat> a owl:ObjectProperty ; + rdfs:label "flat" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#form> a owl:ObjectProperty ; + rdfs:label "form" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#free> a owl:ObjectProperty ; + rdfs:label "free" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant-compose-helium> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#helium> ], + <https://tenet.tetras-libre.fr/extract-result#gas-giant> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant-compose-hydrogen> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#hydrogen> ], + <https://tenet.tetras-libre.fr/extract-result#gas-giant> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#general> a owl:ObjectProperty ; + rdfs:label "general" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#giant-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#giant-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ], + <https://tenet.tetras-libre.fr/extract-result#gravitation> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ; + rdfs:label "hasManner" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#have> a owl:ObjectProperty ; + rdfs:label "have" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#heliopause> a owl:Class ; + rdfs:label "heliopause" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#helium-call-volatile> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#call> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#volatile> ], + <https://tenet.tetras-libre.fr/extract-result#helium> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#high> a owl:ObjectProperty ; + rdfs:label "high" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#hydrogen-call-volatile> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#call> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#volatile> ], + <https://tenet.tetras-libre.fr/extract-result#hydrogen> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ice-giant> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#giant> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#inner-system> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#intercontinental-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#interplanetary-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#interstellar-medium> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#medium> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#light-year> a owl:Class ; + rdfs:label "light-year" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#local> a owl:ObjectProperty ; + rdfs:label "local" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#long> a owl:ObjectProperty ; + rdfs:label "long" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#main> a owl:Class ; + rdfs:label "main" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#many> a owl:Class ; + rdfs:label "many" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#mass-be-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#be> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#mass> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#massive> a owl:Class ; + rdfs:label "massive" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#melt> a owl:ObjectProperty ; + rdfs:label "melt" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#metal> a owl:Class ; + rdfs:label "metal" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#methane> a owl:Class ; + rdfs:label "methane" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#molecule> a owl:Class ; + rdfs:label "molecule" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#moon> a owl:Class ; + rdfs:label "moon" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:Class, + owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subClassOf ns1:Entity ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#natural> a owl:ObjectProperty ; + rdfs:label "natural" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#near> a owl:ObjectProperty ; + rdfs:label "near" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#new> a owl:ObjectProperty ; + rdfs:label "new" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#night> a owl:Class ; + rdfs:label "night" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#now> a owl:Class ; + rdfs:label "now" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-include-object> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-mean-satellite> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#mean> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#satellite> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-population-compose-ice> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#ice> ], + <https://tenet.tetras-libre.fr/extract-result#object-population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#observe> a owl:ObjectProperty ; + rdfs:label "observe" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#oppose> a owl:ObjectProperty ; + rdfs:label "oppose" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ordinal-entity> a owl:Class ; + rdfs:label "ordinal-entity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#other-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#other-population-travel-between> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#travel> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#between> ], + <https://tenet.tetras-libre.fr/extract-result#other-population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#out> a owl:Class ; + rdfs:label "out" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#outer-system-hasPart-planet> 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> ], + <https://tenet.tetras-libre.fr/extract-result#outer-system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#outwards> a owl:Class ; + rdfs:label "outwards" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#particle> a owl:Class ; + rdfs:label "particle" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#period-comet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#comet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#person> a owl:Class ; + rdfs:label "person" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet-include-dwarf-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#dwarf-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring-encircle-each-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#encircle> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#each-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet-ring> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring-encircle-outer-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#encircle> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#outer-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet-ring> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#pressure-equal-point> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#equal> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#point> ], + <https://tenet.tetras-libre.fr/extract-result#pressure> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#pressure-equal-pressure> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#equal> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#pressure> ], + <https://tenet.tetras-libre.fr/extract-result#pressure> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#primary> a owl:Class ; + rdfs:label "primary" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#prove> a owl:ObjectProperty ; + rdfs:label "prove" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#region-know-heliosphere> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#know> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#heliosphere> ], + <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#region-resemble-bubble> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#resemble> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#bubble> ], + <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#relative> a owl:ObjectProperty ; + rdfs:label "relative" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#relative-position> a owl:Class ; + rdfs:label "relative-position" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ; + rdfs:label "remain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#rock> a owl:Class ; + rdfs:label "rock" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#roughly> a owl:Class ; + rdfs:label "roughly" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#round> a owl:ObjectProperty ; + rdfs:label "round" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#satellite-orbit-body> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#body> ], + <https://tenet.tetras-libre.fr/extract-result#satellite> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#satellite-orbit-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ], + <https://tenet.tetras-libre.fr/extract-result#satellite> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#scatter> a owl:ObjectProperty ; + rdfs:label "scatter" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sednoid-population-lie-beyond> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#lie> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#beyond> ], + <https://tenet.tetras-libre.fr/extract-result#sednoid-population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#see> a owl:ObjectProperty ; + rdfs:label "see" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#size> a owl:Class ; + rdfs:label "size" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sky> a owl:Class ; + rdfs:label "sky" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#small-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#so-called-bubble> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#bubble> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#some> a owl:Class ; + rdfs:label "some" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#source> a owl:Class ; + rdfs:label "source" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#star-include-star> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#star> ], + <https://tenet.tetras-libre.fr/extract-result#star> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#stream> a owl:Class ; + rdfs:label "stream" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#substance> a owl:Class ; + rdfs:label "substance" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#substantial> a owl:Class ; + rdfs:label "substantial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#such-object-categorize-dwarf-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#categorize> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#dwarf-planet> ], + <https://tenet.tetras-libre.fr/extract-result#such-object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sun-wind-create-region> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#create> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#region> ], + <https://tenet.tetras-libre.fr/extract-result#sun-wind> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-mass> 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#mass> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#temporal-quantity> a owl:Class ; + rdfs:label "temporal-quantity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#term> a owl:ObjectProperty ; + rdfs:label "term" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#think> a owl:ObjectProperty ; + rdfs:label "think" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#this-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#this-region> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#times> a owl:Class ; + rdfs:label "times" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#trans-Neptunian> a owl:Class ; + rdfs:label "trans-Neptunian" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#transpire> a owl:ObjectProperty ; + rdfs:label "transpire" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#under> a owl:Class ; + rdfs:label "under" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#usual> a owl:Class ; + rdfs:label "usual" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#various-population-travel-between> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#travel> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#between> ], + <https://tenet.tetras-libre.fr/extract-result#various-population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#vast-majority> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#majority> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#water> a owl:Class ; + rdfs:label "water" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#year> a owl:ObjectProperty ; + rdfs:label "year" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#almost> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#almost> ; + rdfs:label "almost" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#almost-circular> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#circular> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#asteroid-belt> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#belt> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#be> a owl:ObjectProperty ; + rdfs:label "be" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#beyond> a owl:Class ; + rdfs:label "beyond" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ; + rdfs:label "bind" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#categorize> a owl:ObjectProperty ; + rdfs:label "categorize" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#cause> a owl:ObjectProperty ; + rdfs:label "cause" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular-orbit> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#collapse> a owl:Class ; + rdfs:label "collapse" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#comet> a owl:Class ; + rdfs:label "comet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#contain> a owl:ObjectProperty ; + rdfs:label "contain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#create> a owl:ObjectProperty ; + rdfs:label "create" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#each> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#each> ; + rdfs:label "each" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#each-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#edge> a owl:Class ; + rdfs:label "edge" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gas> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#gas> ; + rdfs:label "gas" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ; + rdfs:label "gravitation" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gravity> a owl:Class ; + rdfs:label "gravity" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#heliosphere> a owl:Class ; + rdfs:label "heliosphere" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#inner> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#inner> ; + rdfs:label "inner" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#intercontinental> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#intercontinental> ; + rdfs:label "intercontinental" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#interplanetary> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#interplanetary> ; + rdfs:label "interplanetary" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#interstellar> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#interstellar> ; + rdfs:label "interstellar" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#know> a owl:ObjectProperty ; + rdfs:label "know" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#majority> a owl:Class ; + rdfs:label "majority" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#mean> a owl:ObjectProperty ; + rdfs:label "mean" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#medium> a owl:Class, + owl:ObjectProperty ; + rdfs:label "medium" ; + rdfs:subClassOf ns1:Entity ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#other> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#other> ; + rdfs:label "other" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#other-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#outer> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#outer> ; + rdfs:label "outer" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#outer-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#outer-system> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#period> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#period> ; + rdfs:label "period" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#point> a owl:Class ; + rdfs:label "point" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ring> a owl:Class ; + rdfs:label "ring" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sednoid> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#sednoid> ; + rdfs:label "sednoid" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sednoid-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#small> ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#so-called> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#so-called> ; + rdfs:label "so-called" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#such> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#such> ; + rdfs:label "such" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#such-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sun-wind> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#wind> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> 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#object> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> 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#sun> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#terrestrial> ; + rdfs:label "terrestrial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#thing> a owl:Class ; + rdfs:label "thing" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#this> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#this> ; + rdfs:label "this" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#various> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#various> ; + rdfs:label "various" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#various-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#vast> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#vast> ; + rdfs:label "vast" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#wind> a owl:Class ; + rdfs:label "wind" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#belt> a owl:Class ; + rdfs:label "belt" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#between> a owl:Class ; + rdfs:label "between" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#bubble> a owl:Class ; + rdfs:label "bubble" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#call> a owl:ObjectProperty ; + rdfs:label "call" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#almost-circular>, + <https://tenet.tetras-libre.fr/extract-result#circular> ; + rdfs:label "circular" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#disc> a owl:Class ; + rdfs:label "disc" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#encircle> a owl:ObjectProperty ; + rdfs:label "encircle" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#equal> a owl:ObjectProperty ; + rdfs:label "equal" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#giant> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#helium> a owl:Class ; + rdfs:label "helium" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#hydrogen> a owl:Class ; + rdfs:label "hydrogen" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ice> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#ice> ; + rdfs:label "ice" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#lie> a owl:ObjectProperty ; + rdfs:label "lie" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#mass> a owl:Class ; + rdfs:label "mass" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#ring> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#resemble> a owl:ObjectProperty ; + rdfs:label "resemble" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#travel> a owl:ObjectProperty ; + rdfs:label "travel" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#volatile> a owl:Class ; + rdfs:label "volatile" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#giant> ; + rdfs:label "giant" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#pressure> a owl:Class ; + rdfs:label "pressure" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#satellite> a owl:Class ; + rdfs:label "satellite" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#star> a owl:Class ; + rdfs:label "star" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#asteroid> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "asteroid" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ; + rdfs:label "body" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#cloud> a owl:Class ; + rdfs:label "cloud" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#compose> a owl:Class, + owl:ObjectProperty ; + rdfs:label "compose" ; + rdfs:subClassOf ns1:Entity ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#region> a owl:Class ; + rdfs:label "region" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class, + owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subClassOf ns1:Entity ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#population> a owl:Class ; + rdfs:label "population" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#sun> ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_1.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_1.ttl new file mode 100644 index 0000000..c3360a0 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_1.ttl @@ -0,0 +1,109 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> 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-sun> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ; + rdfs:label "direct" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#gravitation-bind-system> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#bind> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#system> ], + <https://tenet.tetras-libre.fr/extract-result#gravitation> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#hasManner> a owl:ObjectProperty ; + rdfs:label "hasManner" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-direct-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#object-orbit-hasManner-not-direct-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#bind> a owl:ObjectProperty ; + rdfs:label "bind" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#gravitation> a owl:Class ; + rdfs:label "gravitation" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#orbit-hasManner-not-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-object> 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#object> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-sun> 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#sun> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-01> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-01#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-01" ; + ns1:hasSentence "The Solar System is the gravitationally bound system of the Sun and the objects that orbit it, either directly or indirectly." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl new file mode 100644 index 0000000..fd8e2f3 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_10.ttl @@ -0,0 +1,39 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#system> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/extract-result#also> a owl:Class ; + rdfs:label "also" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/extract-result#contain> a owl:ObjectProperty ; + rdfs:label "contain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-10> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-10#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-10" ; + ns1:hasSentence "The Solar System also contains smaller objects." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_11.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_11.ttl new file mode 100644 index 0000000..f7ff69e --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_11.ttl @@ -0,0 +1,115 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Jupiter> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Jupiter" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#Mars> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mars" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#asteroid-belt-contain-object> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#contain> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ], + <https://tenet.tetras-libre.fr/extract-result#asteroid-belt> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#between> a owl:Class ; + rdfs:label "between" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#compose-resemble-terrestrial-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#resemble> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> ], + <https://tenet.tetras-libre.fr/extract-result#compose> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#lie> a owl:ObjectProperty ; + rdfs:label "lie" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#metal> a owl:Class ; + rdfs:label "metal" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#rock> a owl:Class ; + rdfs:label "rock" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#asteroid> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "asteroid" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#asteroid-belt> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#belt> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#belt> a owl:Class ; + rdfs:label "belt" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#compose> a owl:Class ; + rdfs:label "compose" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#contain> a owl:ObjectProperty ; + rdfs:label "contain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#resemble> a owl:ObjectProperty ; + rdfs:label "resemble" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#terrestrial> ; + rdfs:label "terrestrial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-11> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-11#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-11" ; + ns1:hasSentence "The asteroid belt, which lies between the orbits of Mars and Jupiter, mostly contains objects composed, like the terrestrial planets, of rock and metal." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_12.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_12.ttl new file mode 100644 index 0000000..1d8e98c --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_12.ttl @@ -0,0 +1,116 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#KuiperBelt> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#belt> ; + rdfs:label "KuiperBelt" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#Neptunian> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Neptunian" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#disc> a owl:Class ; + rdfs:label "disc" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#discover> a owl:Class ; + rdfs:label "discover" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#new> a owl:ObjectProperty ; + rdfs:label "new" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#object-population-compose-ice> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#ice> ], + <https://tenet.tetras-libre.fr/extract-result#object-population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#scatter> a owl:ObjectProperty ; + rdfs:label "scatter" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#sednoid-population-lie-beyond> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#lie> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#beyond> ], + <https://tenet.tetras-libre.fr/extract-result#sednoid-population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#transpire> a owl:ObjectProperty ; + rdfs:label "transpire" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#beyond> a owl:Class ; + rdfs:label "beyond" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ; + rdfs:label "compose" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#ice> a owl:Class ; + rdfs:label "ice" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#lie> a owl:ObjectProperty ; + rdfs:label "lie" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#object-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#sednoid> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#sednoid> ; + rdfs:label "sednoid" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#sednoid-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/extract-result#population> a owl:Class ; + rdfs:label "population" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-12> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-12#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-12" ; + ns1:hasSentence "Beyond Neptune's orbit lie the Kuiper belt and scattered disc, which are populations of trans-Neptunian objects composed mostly of ices, and beyond them a newly discovered population of sednoids." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl new file mode 100644 index 0000000..6ab0120 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_13.ttl @@ -0,0 +1,90 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#considerable> a owl:Class ; + rdfs:label "considerable" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#debate> a owl:Class ; + rdfs:label "debate" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#enough> a owl:Class ; + rdfs:label "enough" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#gravity> a owl:Class ; + rdfs:label "gravity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#have> a owl:ObjectProperty ; + rdfs:label "have" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#many> a owl:Class ; + rdfs:label "many" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#prove> a owl:ObjectProperty ; + rdfs:label "prove" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#round> a owl:ObjectProperty ; + rdfs:label "round" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#some> a owl:Class ; + rdfs:label "some" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#thing> a owl:Class ; + rdfs:label "thing" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#this-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#under> a owl:Class ; + rdfs:label "under" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#population> a owl:Class ; + rdfs:label "population" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/extract-result#this> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#this> ; + rdfs:label "this" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-13> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-13#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-13" ; + ns1:hasSentence "Within these populations, some objects are large enough to have rounded under their own gravity, though there is considerable debate as to how many there will prove to be." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl new file mode 100644 index 0000000..53c6824 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_14.ttl @@ -0,0 +1,53 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#such-object-categorize-dwarf-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#categorize> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#dwarf-planet> ], + <https://tenet.tetras-libre.fr/extract-result#such-object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#categorize> a owl:ObjectProperty ; + rdfs:label "categorize" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#such> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#such> ; + rdfs:label "such" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/extract-result#such-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-14> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-14#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-14" ; + ns1:hasSentence "Such objects are categorized as dwarf planets." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_15.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_15.ttl new file mode 100644 index 0000000..833bba3 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_15.ttl @@ -0,0 +1,110 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Cerre> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Cerre" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Eris> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Eris" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Gonggong> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Gonggong" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Haumea> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#asteroid> ; + rdfs:label "Haumea" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Makemake> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Makemake" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Orcus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Orcus" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Pluto> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Pluto" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Quaoar> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Quaoar" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#Sedna> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#object> ; + rdfs:label "Sedna" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#accept> a owl:Class ; + rdfs:label "accept" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#at-least> a owl:Class ; + rdfs:label "at-least" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#general> a owl:ObjectProperty ; + rdfs:label "general" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#observe> a owl:ObjectProperty ; + rdfs:label "observe" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#person> a owl:Class ; + rdfs:label "person" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#trans-Neptunian> a owl:Class ; + rdfs:label "trans-Neptunian" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-15> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-15#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-15" ; + ns1:hasSentence "Astronomers generally accept at least nine objects as dwarf planets: the asteroid Ceres and the trans-Neptunian objects Pluto, Eris, Haumea, Makemake, Gonggong, Quaoar, Sedna, and Orcus." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_16.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_16.ttl new file mode 100644 index 0000000..be5349f --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_16.ttl @@ -0,0 +1,133 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#centaur> a owl:Class ; + rdfs:label "centaur" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#comet> a owl:Class ; + rdfs:label "comet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#dust> a owl:Class ; + rdfs:label "dust" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#free> a owl:ObjectProperty ; + rdfs:label "free" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#interplanetary-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#other-population-travel-between> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#travel> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#between> ], + <https://tenet.tetras-libre.fr/extract-result#other-population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#this-region> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#various-population-travel-between> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#travel> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#between> ], + <https://tenet.tetras-libre.fr/extract-result#various-population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ; + rdfs:label "body" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#cloud> a owl:Class ; + rdfs:label "cloud" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#interplanetary> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#interplanetary> ; + rdfs:label "interplanetary" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#other> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#other> ; + rdfs:label "other" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#other-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#region> a owl:Class ; + rdfs:label "region" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#small> ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#this> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#this> ; + rdfs:label "this" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#various> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#various> ; + rdfs:label "various" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#various-population> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#population> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#between> a owl:Class ; + rdfs:label "between" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#population> a owl:Class ; + rdfs:label "population" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/extract-result#travel> a owl:ObjectProperty ; + rdfs:label "travel" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-16> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-16#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-16" ; + ns1:hasSentence "In addition to these two regions, various other small-body populations, including comets, centaurs and interplanetary dust clouds, freely travel between regions." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_17.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_17.ttl new file mode 100644 index 0000000..215976a --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_17.ttl @@ -0,0 +1,123 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#after> a owl:ObjectProperty ; + rdfs:label "after" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#body-include-body> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#body> ], + <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#many> a owl:Class ; + rdfs:label "many" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#moon> a owl:Class ; + rdfs:label "moon" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#natural> a owl:ObjectProperty ; + rdfs:label "natural" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#planet-include-dwarf-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#dwarf-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#satellite-orbit-body> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#body> ], + <https://tenet.tetras-libre.fr/extract-result#satellite> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#satellite-orbit-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#orbit> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#planet> ], + <https://tenet.tetras-libre.fr/extract-result#satellite> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#term> a owl:ObjectProperty ; + rdfs:label "term" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#usual> a owl:Class ; + rdfs:label "usual" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:ObjectProperty ; + rdfs:label "orbit" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#satellite> a owl:Class ; + rdfs:label "satellite" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ; + rdfs:label "body" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-17> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-17#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-17" ; + ns1:hasSentence "Six of the planets, the six largest possible dwarf planets, and many of the smaller bodies are orbited by natural satellites, usually termed \"moons\" after the Moon." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_18.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_18.ttl new file mode 100644 index 0000000..ef2260a --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_18.ttl @@ -0,0 +1,99 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#dust> a owl:Class ; + rdfs:label "dust" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#other-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring-encircle-each-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#encircle> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#each-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet-ring> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring-encircle-outer-planet> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#encircle> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#outer-planet> ], + <https://tenet.tetras-libre.fr/extract-result#planet-ring> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#small-object> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#each> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#each> ; + rdfs:label "each" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#each-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#other> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#other> ; + rdfs:label "other" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#outer> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#outer> ; + rdfs:label "outer" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#outer-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#ring> a owl:Class ; + rdfs:label "ring" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#small> ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#encircle> a owl:ObjectProperty ; + rdfs:label "encircle" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#planet-ring> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#ring> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-18> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-18#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-18" ; + ns1:hasSentence "Each of the outer planets is encircled by planetary rings of dust and other small objects." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl new file mode 100644 index 0000000..b1257a3 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_19.ttl @@ -0,0 +1,111 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#charge> a owl:ObjectProperty ; + rdfs:label "charge" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#interstellar> a owl:Class ; + rdfs:label "interstellar" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#mean> a owl:ObjectProperty ; + rdfs:label "mean" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#medium> a owl:ObjectProperty ; + rdfs:label "medium" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#outwards> a owl:Class ; + rdfs:label "outwards" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#particle> a owl:Class ; + rdfs:label "particle" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#region-know-heliosphere> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#know> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#heliosphere> ], + <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#region-resemble-bubble> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#resemble> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#bubble> ], + <https://tenet.tetras-libre.fr/extract-result#region> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#stream> a owl:Class ; + rdfs:label "stream" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#sun-wind-create-region> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#create> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#region> ], + <https://tenet.tetras-libre.fr/extract-result#sun-wind> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#bubble> a owl:Class ; + rdfs:label "bubble" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#create> a owl:ObjectProperty ; + rdfs:label "create" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#heliosphere> a owl:Class ; + rdfs:label "heliosphere" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#know> a owl:ObjectProperty ; + rdfs:label "know" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#resemble> a owl:ObjectProperty ; + rdfs:label "resemble" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#sun> ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#sun-wind> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#wind> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#wind> a owl:Class ; + rdfs:label "wind" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/extract-result#region> a owl:Class ; + rdfs:label "region" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-19> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-19#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-19" ; + ns1:hasSentence "The solar wind, a stream of charged particles flowing outwards from the Sun, creates a bubble-like region in the interstellar medium known as the heliosphere." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl new file mode 100644 index 0000000..43c8af8 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_2.ttl @@ -0,0 +1,92 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#system> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#direct> a owl:ObjectProperty ; + rdfs:label "direct" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class ; + rdfs:label "orbit" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ; + rdfs:label "remain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#small-body> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#body> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#body> a owl:Class ; + rdfs:label "body" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#dwarf> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#dwarf> ; + rdfs:label "dwarf" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#small> ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity, + ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-02> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-02#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-02" ; + ns1:hasSentence "Of the objects that orbit the Sun directly, the largest are the eight planets, with the remainder being smaller objects, the dwarf planets and small Solar System bodies." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_20.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_20.ttl new file mode 100644 index 0000000..ec55806 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_20.ttl @@ -0,0 +1,117 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#disc-hasPart-edge> 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#edge> ], + <https://tenet.tetras-libre.fr/extract-result#disc> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#extend> a owl:ObjectProperty ; + rdfs:label "extend" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#heliopause> a owl:Class ; + rdfs:label "heliopause" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#interstellar-medium> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#medium> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#oppose> a owl:ObjectProperty ; + rdfs:label "oppose" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#out> a owl:Class ; + rdfs:label "out" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#pressure-equal-point> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#equal> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#point> ], + <https://tenet.tetras-libre.fr/extract-result#pressure> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#pressure-equal-pressure> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#equal> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#pressure> ], + <https://tenet.tetras-libre.fr/extract-result#pressure> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#scatter> a owl:ObjectProperty ; + rdfs:label "scatter" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#sun-wind> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#wind> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#disc> a owl:Class ; + rdfs:label "disc" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#edge> a owl:Class ; + rdfs:label "edge" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#interstellar> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#interstellar> ; + rdfs:label "interstellar" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#medium> a owl:Class ; + rdfs:label "medium" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#point> a owl:Class ; + rdfs:label "point" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#sun> ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#wind> a owl:Class ; + rdfs:label "wind" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#equal> a owl:ObjectProperty ; + rdfs:label "equal" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/extract-result#pressure> a owl:Class ; + rdfs:label "pressure" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-20> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-20#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-20" ; + ns1:hasSentence "The heliopause is the point at which pressure from the solar wind is equal to the opposing pressure of the interstellar medium; it extends out to the edge of the scattered disc." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_21.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_21.ttl new file mode 100644 index 0000000..76d4dcd --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_21.ttl @@ -0,0 +1,75 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Oortcloud> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#cloud> ; + rdfs:label "Oortcloud" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#also> a owl:Class ; + rdfs:label "also" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#distant> a owl:ObjectProperty ; + rdfs:label "distant" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#exist> a owl:ObjectProperty ; + rdfs:label "exist" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#heliosphere> a owl:Class ; + rdfs:label "heliosphere" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#long> a owl:ObjectProperty ; + rdfs:label "long" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#period-comet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#comet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#roughly> a owl:Class ; + rdfs:label "roughly" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#source> a owl:Class ; + rdfs:label "source" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#think> a owl:ObjectProperty ; + rdfs:label "think" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#times> a owl:Class ; + rdfs:label "times" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#comet> a owl:Class ; + rdfs:label "comet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/extract-result#period> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#period> ; + rdfs:label "period" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-21> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-21#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-21" ; + ns1:hasSentence "The Oort cloud, which is thought to be the source for long-period comets, may also exist at a distance roughly a thousand times further than the heliosphere." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_22.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_22.ttl new file mode 100644 index 0000000..384556a --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_22.ttl @@ -0,0 +1,101 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#MilkyWay> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#galaxy> ; + rdfs:label "MilkyWay" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#Orion> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#arm> ; + rdfs:label "Orion" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#system> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#be> a owl:ObjectProperty ; + rdfs:label "be" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#center> a owl:Class ; + rdfs:label "center" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#contain> a owl:ObjectProperty ; + rdfs:label "contain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#date> a owl:ObjectProperty ; + rdfs:label "date" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#distance-quantity> a owl:Class ; + rdfs:label "distance-quantity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#light-year> a owl:Class ; + rdfs:label "light-year" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#night> a owl:Class ; + rdfs:label "night" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#relative-position> a owl:Class ; + rdfs:label "relative-position" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#see> a owl:ObjectProperty ; + rdfs:label "see" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#sky> a owl:Class ; + rdfs:label "sky" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#star-include-star> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#star> ], + <https://tenet.tetras-libre.fr/extract-result#star> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/extract-result#star> a owl:Class ; + rdfs:label "star" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-22> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-22#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-22" ; + ns1:hasSentence "The Solar System is located 26,000 light-years from the center of the Milky Way galaxy in the Orion Arm, which contains most of the visible stars in the night sky." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_23.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_23.ttl new file mode 100644 index 0000000..3c72f84 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_23.ttl @@ -0,0 +1,70 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#ProximaCentre> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#star> ; + rdfs:label "ProximaCentre" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#close> a owl:ObjectProperty ; + rdfs:label "close" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#light-year> a owl:Class ; + rdfs:label "light-year" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#local> a owl:ObjectProperty ; + rdfs:label "local" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#near> a owl:ObjectProperty ; + rdfs:label "near" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#ordinal-entity> a owl:Class ; + rdfs:label "ordinal-entity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#so-called-bubble> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#bubble> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#bubble> a owl:Class ; + rdfs:label "bubble" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#so-called> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#so-called> ; + rdfs:label "so-called" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/extract-result#star> a owl:Class ; + rdfs:label "star" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-23> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-23#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-23" ; + ns1:hasSentence "The nearest stars are within the so-called Local Bubble, with the closest, Proxima Centauri, at 4.25 light-years.." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl new file mode 100644 index 0000000..7ed58d3 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_3.ttl @@ -0,0 +1,104 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Mercury> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mercury" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#almost> a owl:Class ; + rdfs:label "almost" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#equal> a owl:ObjectProperty ; + rdfs:label "equal" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:Class, + owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subClassOf ns1:Entity ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#natural> a owl:ObjectProperty ; + rdfs:label "natural" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#not-direct> a owl:ObjectProperty ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#object-include-object> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#include> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#object> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#object-mean-satellite> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#mean> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#satellite> ], + <https://tenet.tetras-libre.fr/extract-result#object> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class ; + rdfs:label "orbit" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#size> a owl:Class ; + rdfs:label "size" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#include> a owl:ObjectProperty ; + rdfs:label "include" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#mean> a owl:ObjectProperty ; + rdfs:label "mean" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#satellite> a owl:Class ; + rdfs:label "satellite" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/extract-result#object> a owl:Class ; + rdfs:label "object" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-03> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-03#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-03" ; + ns1:hasSentence "Of the objects that orbit the Sun indirectly—the natural satellites—two are larger than the smallest planet, Mercury, and one more almost equals it in size." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl new file mode 100644 index 0000000..c0ba8a7 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_4.ttl @@ -0,0 +1,93 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#SolarSystem> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#system> ; + rdfs:label "SolarSystem" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#before> a owl:Class ; + rdfs:label "before" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#collapse-cause-gravity> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#cause> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#gravity> ], + <https://tenet.tetras-libre.fr/extract-result#collapse> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#form> a owl:ObjectProperty ; + rdfs:label "form" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#giant-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#intercontinental-cloud> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#cloud> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#molecule> a owl:Class ; + rdfs:label "molecule" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#now> a owl:Class ; + rdfs:label "now" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#temporal-quantity> a owl:Class ; + rdfs:label "temporal-quantity" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#year> a owl:ObjectProperty ; + rdfs:label "year" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#cause> a owl:ObjectProperty ; + rdfs:label "cause" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#collapse> a owl:Class ; + rdfs:label "collapse" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#giant> ; + rdfs:label "giant" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#gravity> a owl:Class ; + rdfs:label "gravity" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#intercontinental> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#intercontinental> ; + rdfs:label "intercontinental" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/extract-result#cloud> a owl:Class ; + rdfs:label "cloud" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-04> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-04#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-04" ; + ns1:hasSentence "The Solar System formed 4.6 billion years ago from the gravitational collapse of a giant interstellar molecular cloud." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_5.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_5.ttl new file mode 100644 index 0000000..1836296 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_5.ttl @@ -0,0 +1,79 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Jupiter> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Jupiter" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#contain> a owl:ObjectProperty ; + rdfs:label "contain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#mass-be-sun> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#be> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#sun> ], + <https://tenet.tetras-libre.fr/extract-result#mass> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#remain> a owl:ObjectProperty ; + rdfs:label "remain" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#system-hasPart-mass> 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#mass> ], + <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#vast-majority> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#majority> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#be> a owl:ObjectProperty ; + rdfs:label "be" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#majority> a owl:Class ; + rdfs:label "majority" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#sun> a owl:Class ; + rdfs:label "sun" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#vast> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#vast> ; + rdfs:label "vast" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/extract-result#mass> a owl:Class ; + rdfs:label "mass" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-05> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-05#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-05" ; + ns1:hasSentence "The vast majority of the system's mass is in the Sun, with the majority of the remaining mass contained in Jupiter." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_6.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_6.ttl new file mode 100644 index 0000000..25d11ab --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_6.ttl @@ -0,0 +1,96 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Earth> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Earth" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#Mars> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mars" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#Mercury> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Mercury" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#Venus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Venus" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ; + rdfs:label "compose" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#inner-system> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#metal> a owl:Class ; + rdfs:label "metal" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#primary> a owl:Class ; + rdfs:label "primary" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#rock> a owl:Class ; + rdfs:label "rock" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#small> a owl:Class ; + rdfs:label "small" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#inner> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#inner> ; + rdfs:label "inner" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#terrestrial> ; + rdfs:label "terrestrial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-06> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-06#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-06" ; + ns1:hasSentence "The four smaller inner system planets, Mercury, Venus, Earth and Mars, are terrestrial planets, being primarily composed of rock and metal." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl new file mode 100644 index 0000000..039ff58 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_7.ttl @@ -0,0 +1,73 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#giant-planet> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#planet> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#massive> a owl:Class ; + rdfs:label "massive" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:ObjectProperty ; + rdfs:label "more" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#outer-system-hasPart-planet> 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> ], + <https://tenet.tetras-libre.fr/extract-result#outer-system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#substantial> a owl:Class ; + rdfs:label "substantial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#terrestrial> a owl:Class ; + rdfs:label "terrestrial" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#giant> ; + rdfs:label "giant" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#hasPart> a owl:ObjectProperty ; + rdfs:label "hasPart" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#outer> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#outer> ; + rdfs:label "outer" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#outer-system> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#system> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#system> a owl:Class ; + rdfs:label "system" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-07> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-07#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-07" ; + ns1:hasSentence "The four outer system planets are giant planets, being substantially more massive than the terrestrials." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl new file mode 100644 index 0000000..8fe50e6 --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_8.ttl @@ -0,0 +1,169 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#Jupiter> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Jupiter" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#Neptune> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Neptune" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#Saturn> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Saturn" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#Uranus> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#planet> ; + rdfs:label "Uranus" ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#ammonia> a owl:Class ; + rdfs:label "ammonia" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant-compose-helium> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#helium> ], + <https://tenet.tetras-libre.fr/extract-result#gas-giant> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant-compose-hydrogen> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#compose> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#hydrogen> ], + <https://tenet.tetras-libre.fr/extract-result#gas-giant> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#helium-call-volatile> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#call> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#volatile> ], + <https://tenet.tetras-libre.fr/extract-result#helium> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#high> a owl:ObjectProperty ; + rdfs:label "high" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#hydrogen-call-volatile> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#call> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#volatile> ], + <https://tenet.tetras-libre.fr/extract-result#hydrogen> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#ice-giant> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#giant> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#large> a owl:Class ; + rdfs:label "large" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#main> a owl:Class ; + rdfs:label "main" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#melt> a owl:ObjectProperty ; + rdfs:label "melt" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#methane> a owl:Class ; + rdfs:label "methane" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#more> a owl:Class ; + rdfs:label "more" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#most> a owl:ObjectProperty ; + rdfs:label "most" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#point> a owl:Class ; + rdfs:label "point" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#relative> a owl:ObjectProperty ; + rdfs:label "relative" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#substance> a owl:Class ; + rdfs:label "substance" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#water> a owl:Class ; + rdfs:label "water" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#gas> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#gas> ; + rdfs:label "gas" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#ice> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#ice> ; + rdfs:label "ice" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#call> a owl:ObjectProperty ; + rdfs:label "call" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#compose> a owl:ObjectProperty ; + rdfs:label "compose" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#gas-giant> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#giant> ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#giant> a owl:Class ; + rdfs:label "giant" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#helium> a owl:Class ; + rdfs:label "helium" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#hydrogen> a owl:Class ; + rdfs:label "hydrogen" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/extract-result#volatile> a owl:Class ; + rdfs:label "volatile" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure <https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> . + +<https://tenet.tetras-libre.fr/amr.structure#WikiAbstract-SolarSystem-08> a <https://tenet.tetras-libre.fr/amr.structure> ; + ns1:hasAmrRdfGraph <http://amr.isi.edu/amr_data/WikiAbstract-SolarSystem-08#root01> ; + ns1:hasID "WikiAbstract-SolarSystem-08" ; + ns1:hasSentence "The two largest planets, Jupiter and Saturn, are gas giants, being composed mainly of hydrogen and helium; the two outermost planets, Uranus and Neptune, are ice giants, being composed mostly of substances with relatively high melting points compared with hydrogen and helium, called volatiles, such as water, ammonia and methane." . + diff --git a/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl new file mode 100644 index 0000000..ae89b1f --- /dev/null +++ b/SolarSystem-20230731/tenet-ontology-definitions/SolarSystemProd_factoid_9.ttl @@ -0,0 +1,79 @@ +@prefix ns1: <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#> . + +<https://tenet.tetras-libre.fr/extract-result#all> a owl:ObjectProperty ; + rdfs:label "all" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#call> a owl:ObjectProperty ; + rdfs:label "call" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular-orbit-lie-disc> a owl:Class ; + rdfs:subClassOf [ a owl:Restriction ; + owl:onProperty <https://tenet.tetras-libre.fr/extract-result#lie> ; + owl:someValuesFrom <https://tenet.tetras-libre.fr/extract-result#disc> ], + <https://tenet.tetras-libre.fr/extract-result#circular-orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#ecliptic> a owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#thing> ; + rdfs:label "ecliptic" ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#flat> a owl:ObjectProperty ; + rdfs:label "flat" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#near> a owl:ObjectProperty ; + rdfs:label "near" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#planet> a owl:Class ; + rdfs:label "planet" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#almost> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#almost> ; + rdfs:label "almost" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#almost-circular> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#circular> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular-orbit> a owl:Class ; + rdfs:subClassOf <https://tenet.tetras-libre.fr/extract-result#orbit> ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#disc> a owl:Class ; + rdfs:label "disc" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#lie> a owl:ObjectProperty ; + rdfs:label "lie" ; + rdfs:subPropertyOf ns1:Out_ObjectProperty ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#orbit> a owl:Class ; + rdfs:label "orbit" ; + rdfs:subClassOf ns1:Entity ; + ns1:fromStructure "unknown" . + +<https://tenet.tetras-libre.fr/extract-result#circular> a owl:Class, + owl:Individual, + <https://tenet.tetras-libre.fr/extract-result#almost-circular>, + <https://tenet.tetras-libre.fr/extract-result#circular> ; + rdfs:label "circular" ; + rdfs:subClassOf ns1:Undetermined_Thing ; + ns1:fromStructure "unknown" . + -- GitLab