distance
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
Wenn die
breite
von
SelfConnectedObject
ist
LengthMeasure
%n{nicht},
dann es gibt
** SelfConnectedObject
und
** SelfConnectedObject
um eine
seite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und eine
seite
von
** SelfConnectedObject
ist
** ** SelfConnectedObject
und der
abstand
zwischen
** ** SelfConnectedObject
und
** ** SelfConnectedObject
ist
** LengthMeasure
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