overlapsSpatially
No TPTP formula. May not be expressible in strict first order.
Merge.kif 9665-9667
如果
客体
和
另一个 客体
部分重叠,
然后
那个 客体
和
那个 另外 客体
重叠
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