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

top (top)

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

Ontology

SUMO / MEREOTOPOLOGY

Superrelation(s)

partly located
is subrelation of
  located  
is subrelation of
  part  
is subrelation of
  superficial part  
is subrelation of
  top  

Type restrictions

top(aatmasambaddha vastu, aatmasambaddha vastu)

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)

Agar the altitude of obj1 is obj2, to yah kuch top nahin, ki the top of obj1 is top aur the distance between top and obj2 is height. 
(=>
      (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
      (exists
            (?TOP)
            (and
                  (top ?TOP ?OBJ1)
                  (distance ?TOP ?OBJ2 ?HEIGHT))))
Agar the top of object is top aur part is a part of object aur part is not connected to top, to part is below to top. 
(=>
      (and
            (top ?TOP ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?TOP)))
      (orientation ?PART ?TOP Below))
Agar the height of object is height aur the top of object is top aur the bottom of object is bottom, to the distance between top and bottom is height. 
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))