overlapsSpatially
(=>
(
overlapsPartially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9643-9645
如果
客体
和
另一个 客体
部分重叠,
然后
那个 客体
和
那个 另外 客体
重叠
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