decktSichTeilweise (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)

symmetrische Relation
is instance of

irreflexive Relation
is instance of

decktSichTeilweise

Superrelation(s)

angeschlossen

decktSichRäumlich

decktSichTeilweise

Coordinate term(s)

RückseiteFn FrontseiteFn attribut vor angeschlossen angeschlosseneTechnikKomponenten verringertWahrscheinlichkeit disjunkt während früh beendet graphenTeil grösserAls inListe vergrössertWahrscheinlichkeit Unabhänigkeitswahrscheinlichkeit hemmt innenteil grösser kleinerAls weise schliesstRäumlichAn modalesAttribute decktSichRäumlich decktSichZeitlich pfadLänge verhindert geschwister kleiner beginnt teilsammlung unterOrganisation teilplan %1 ist eine &%teilangelegenheit von %2 %n{nicht} nachfolgerAttributSchliessung oberflächichesTeil

Related WordNet synsets

overlap: coincide partially

Axioms (1)

obj1 deckt sich mit obj2 teilweise nur wenn

obj1 ist ein teil von obj2 nicht
obj2 ist ein teil von obj1 nicht
es gibt ein obj3 der obj3 ist ein teil von obj1 und obj3 ist ein teil von obj2

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