overlapsSpatially
(=>
(
overlapsPartially
?OBJ1 ?OBJ2)
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9643-9645
オブジェクト
は
オブジェクト
と
partially
overlap
s し %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
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