distance
(=>
(
width
?OBJECT ?WIDTH)
(
exists
(?SIDE1 ?SIDE2)
(
and
(
side
?SIDE1 ?OBJECT)
(
side
?SIDE2 ?OBJECT)
(
distance
?SIDE1 ?SIDE2 ?WIDTH))))
Merge.kif 9760-9766
自己接続オブジェクト
の
width
は
長さ測定
では %n
自己接続オブジェクト
自己接続オブジェクト
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
の
side
は
自己接続オブジェクト
では
自己接続オブジェクト
と
自己接続オブジェクト
の
distance
は
長さ測定
では %n
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