Rotating
(旋转)
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4329-4342
如果
物理
是
WheelChock
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
轮
的
instance
和
那个 物理
接上
那个 实体
和 不存在
第三 实体
这样
那个 第三 实体
是
旋转
的
instance
和
那个 实体
是
那个 第三 实体
的
patient
在
那个 另外 实体
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Cars.kif 4954-4956
如果
过程
是以
RotationalAttribute
的形式发生,
然后
那个 过程
是
旋转
的
instance
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