³¡¤À­«Å| (overlapsPartially)

Ontology

Class(es)

¹ïºÙÃö«Y	«D¤Ï¨­Ãö«Y
³¡¤À­«Å|

Superrelation(s)

¬Û³sªº   ªÅ¶¡­«Å|

³¡¤À­«Å|

Coordinate term(s)

Related WordNet synsets

overlap

coincide partially
     

Axioms (1)

• obj1 ¬O obj2 ªº ³¡¤À)
and
• obj2 ¬O obj1 ªº ³¡¤À)
and
• there exists obj3 so that obj3 ¬O obj1 ªº ³¡¤À) and obj3 ¬O obj2 ªº ³¡¤À)
.

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