Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

oberseite (top)

(top top object) means that top is the highest maximal superficial part of object.

Ontology

SUMO / MEREOTOPOLOGY

Superrelation(s)

befindetSichTeils
is subrelation of
  befindetSich  
is subrelation of
  teil  
is subrelation of
  oberflächichesTeil  
is subrelation of
  oberseite  

Type restrictions

top(selbstverbundener Gegenstand, selbstverbundener Gegenstand)

Related WordNet synsets

top(a)
situated at the top or highest position; "the top shelf"
top(a) is opposite to...   see also...   top(a) is similar to...  
atop
on, to, or at the top
See more related synsets on a separate page.

Axioms (3)

Wenn das altitude von obj1 ist obj2 , dann es gibt ein top der die oberseite von obj1 ist top und der abstand zwischen top und obj2 ist height. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))
Wenn die oberseite von object ist top und part ist ein teil von object und part wird an top nicht angeschlossen, dann part ist below hinsichlich top . 
(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))
Wenn die höhe von object ist height und die oberseite von object ist top und die unterseite von object ist bottom, dann der abstand zwischen top und bottom ist height. 
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))