Gestion des possessions avec comparaison (have-03, compare-01)
Une règle spécifique doit être définit lorsque les phénomènes de possession et de comparaison sont associés.
Voir SSC-11.
Ex. : have-03(arg0: substance, arg1: point), compare-01(arg1: have-03, arg2: hydrogen)
Dans ce cas, on veut associer une instance de point comme possession de susbtance comparé à l'hydrogen. Si le point est caractérisé, alors l'instance est un point spécifique. Pour la phrase SSC-11 qui est un peu plus complexe, on veut donc :
### https://reference.tetras-libre.fr/expected-result#volatile
result:volatile rdf:type owl:Class ;
rdfs:subClassOf result:substance ,
[ rdf:type owl:Restriction ;
owl:onProperty result:have ;
owl:hasValue result:relative-high-melt-point
] ;
rdfs:label "volatile" ;
base:fromStructure "SolarSystem-11" .
### https://reference.tetras-libre.fr/expected-result#relative-high-melt-point
result:relative-high-melt-point rdf:type owl:NamedIndividual ,
owl:Individual ,
base:Entity ,
result:melt-point ;
result:hasFeature result:relative-high ;
result:compareTo result:hydrogen,
result:helium ;
rdfs:label "relative-high-melt-point" ;
base:fromStructure "SolarSystem-11" .
On a ici une instance result:relative-high-melt-point
de result:melt-point
, qui est result:compareTo
result:hydrogen
.