overlaps partially (overlapsPartially)

(overlapsPartially obj1 obj2) means that obj1 and obj2 have part(s) in common, but neither obj1 nor obj2 is a part of the other.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

symmetric relation
is instance of

irreflexive relation
is instance of

overlaps partially

Superrelation(s)

connected

overlaps spatially

overlaps partially

Coordinate term(s)

back fn front fn attribute before connected connected engineering components decreases likelihood disjoint during earlier finishes graph part greater than in list increases likelihood independent probability inhibits interior part larger less than manner meets spatially modal attribute overlaps spatially overlaps temporally path length prevents sibling smaller starts sub collection sub organizations sub plan sub proposition successor attribute closure superficial part

Related WordNet synsets

overlap: coincide partially

Axioms (1)

obj1 partially overlaps with obj2 if and only if

obj1 is not a part of obj2
obj2 is not a part of obj1
there exists obj3 so that obj3 is a part of obj1 and obj3 is a part of obj2

(<=>
      (overlapsPartially ?OBJ1 ?OBJ2)
      (and
            (not
                  (part ?OBJ1 ?OBJ2))
            (not
                  (part ?OBJ2 ?OBJ1))
            (exists
                  (?OBJ3)
                  (and
                        (part ?OBJ3 ?OBJ1)
                        (part ?OBJ3 ?OBJ2)))))