distance
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
如果
自身连接物体
的
width
是
长度测量
,
然后 有存在
另一个 自身连接物体
和
第三 自身连接物体
这样
那个 另外 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 第三 自身连接物体
是
那个 自身连接物体
的一
side
和
那个 另外 自身连接物体
和
那个 第三 自身连接物体
的
distance
是
那个 长度测量
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