schliesstRäumlichAn (meetsSpatially)

(meetsSpatially obj1 obj2) means that obj1 and obj2 are connected but that neither obj1 nor obj2 overlapsSpatially the other.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

irreflexive Relation
is instance of

symmetrische Relation
is instance of

schliesstRäumlichAn

Superrelation(s)

angeschlossen

schliesstRäumlichAn

Subrelation(s)

dringtEin

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 modalesAttribute decktSichTeilweise 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

See more related synsets on a separate page.

Axioms (4)

Wenn obj1 wird an obj2 angeschlossen, dann obj1 schliesst obj2 räumlich an oder obj1 deckt sich mit obj2 räumlich .

(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))

schliesstRäumlichAn und decktSichRäumlich werden disjunkt.

(disjointRelation meetsSpatially overlapsSpatially)

Wenn hole1 ist ein fall von Loch und hole2 ist ein korrektes teil von hole1 , dann es gibt ein obj der hole1 schliesst obj räumlich an und hole2 schliesst obj räumlich nicht an.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

Wenn obj1 ist gleich "die oberfläche von dem Loch hole" , dann für jeden obj2 gilt: obj2 deckt sich mit obj1 räumlich nur wenn es gibt ein obj3 der obj3 ist ein oberflächliches teil von "der wirt von dem Loch hole" und hole schliesst obj3 räumlich an und obj2 deckt sich mit obj3 räumlich .

(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))