Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

meets spatially (meetsSpatially)

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

Ontologie

SUMO / MEREOTOPOLOGY

Class(es)

ireflexivní relace
is instance of
symetrická relace
is instance of
is instance of
  meets spatially  

Superrelation(s)

connected
is subrelation of
  meets spatially  

Subrelation(s)

penetrates 

Související termín(y)

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.

Axiomy (4)

Jestliže obj1 je spojen s obj2, potom obj1 se dotýká obj2 nebo obj1 se překrývá s obj2. 
(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))
meets spatially and overlaps spatially are disjoint. 
(disjointRelation meetsSpatially overlapsSpatially)
Jestliže hole1 je instancí třídy díra a hole2 je vlastní částí hole1, potom existuje obj tak, že hole1 se dotýká obj a hole2 se nedotýká obj. 
(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))
Jestliže obj1 se rovná "skin fn(hole)", potom pro všechny obj2 platí: obj2 se překrývá s obj1 tehdy a jen tehdy pokud existuje obj3 tak, že obj3 je a minimální částí "principal host fn(hole)" a hole se dotýká obj3 a obj2 se překrývá s obj3. 
(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))