Update SolarSystem (2023-09-22): renaming and reference 7

Coling23-v1-SolarSystem-20230922/reference-ontology-definitions/SolarSystemProd_factoid_7.ttl

-@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:more a owl:Individual,
-        base:Degree ;
-    rdfs:label "more" ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:outer-system-hasPart-giant-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:hasPart ;
-            owl:someValuesFrom result:giant-planet ],
-        result:outer-system-hasPart-planet ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:outer-system-hasPart-more-massive-giant-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:hasPart ;
-            owl:someValuesFrom result:more-massive-giant-planet ],
-        result:outer-system-hasPart-planet ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:substantial a owl:Class ;
-    rdfs:label "substantial" ;
-    rdfs:subClassOf base:Undetermined_Thing ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:outer-system a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:hasValue result:outer ;
-            owl:onProperty result:hasFeature ],
-        result:system ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:system a owl:Class ;
-    rdfs:label "system" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:giant a owl:Individual,
-        base:Feature ;
-    rdfs:label "giant" ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:isMoreMassiveThan rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:more-massive a owl:Individual,
-        base:Feature ;
-    rdfs:label "more-massive" ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:more-massive-giant-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:isMoreMassiveThan ;
-            owl:someValuesFrom result:terrestrial ],
-        [ a owl:Restriction ;
-            owl:hasValue result:more-massive ;
-            owl:onProperty result:hasFeature ],
-        result:giant-planet,
-        result:planet ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:outer a owl:Individual,
-        base:Feature ;
-    rdfs:label "outer" ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:terrestrial a owl:Class ;
-    rdfs:label "terrestrial" ;
-    rdfs:subClassOf base:Undetermined_Thing ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:giant-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:hasValue result:giant ;
-            owl:onProperty result:hasFeature ],
-        result:planet ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:outer-system-hasPart-planet a owl:Class ;
-    rdfs:subClassOf [ a owl:Restriction ;
-            owl:onProperty result:hasPart ;
-            owl:someValuesFrom result:planet ],
-        [ a owl:Restriction ;
-            owl:onProperty result:hasPart ;
-            owl:someValuesFrom result:planet ],
-        result:outer-system,
-        result:outer-system-hasPart-planet ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:hasFeature a owl:ObjectProperty ;
-    rdfs:label "hasFeature" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "predefinedProperty" .
-
-result:planet a owl:Class ;
-    rdfs:label "planet" ;
-    rdfs:subClassOf base:Entity ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-
-result:hasPart a owl:ObjectProperty ;
-    rdfs:label "hasPart" ;
-    rdfs:subPropertyOf base:Out_ObjectProperty ;
-    base:fromStructure "WikiAbstract-SolarSystem-07" .
-