distance
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
La
largeur
de
objet en une partie
est
mesure de longueur
objet en une partie
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
le
cot
� de
objet en une partie
est
objet en une partie
la
distance
entre
objet en une partie
et
objet en une partie
est
mesure de longueur
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners