Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

meets spatially (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
symmetric relation
is instance of
is instance of
  meets spatially  

Superrelation(s)

connected
is subrelation of
  meets spatially  

Subrelation(s)

penetrates 

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  modal attribute  overlaps partially  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

See more related synsets on a separate page.

Axioms (4)

If obj1 is connected to obj2, then obj1 meets obj2 or obj1 overlaps with obj2. 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))
meets spatially and overlaps spatially are disjoint. 
(disjointRelation meetsSpatially overlapsSpatially)
If hole1 is an instance of hole and hole2 is a properPart of hole1, then there exists obj so that hole1 meets obj and hole2 doesn't meet obj. 
(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))
If obj1 is equal to "the surface of the hole hole", then for all obj2 holds: obj2 overlaps with obj1 if and only if there exists obj3 so that obj3 is a superficial part of "the host of the hole hole" and hole meets obj3 and obj2 overlaps with obj3. 
(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))