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

bottom (bottom)

(bottom bottom object) holds if bottom is the lowest or deepest 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
  bottom  

Type restrictions

bottom(self connected object, self connected object)

Related WordNet synsets

bottom(a)
situated at the bottom or lowest position; "the bottom drawer"
bottom(a) is opposite to...   bottom(a) is similar to...  
See more related synsets on a separate page.

Axioms (3)

If depth(obj1,obj2,depth) holds, then there exists bottom so that the bottom of obj1 is bottom and the distance between bottom and obj2 is depth.
(=>
      (depth ?OBJ1 ?OBJ2 ?DEPTH)
      (exists
            (?BOTTOM)
            (and
                  (bottom ?BOTTOM ?OBJ1)
                  (distance ?BOTTOM ?OBJ2 ?DEPTH))))

If the bottom of object is bottom and part is a part of object and part is not connected to bottom, then part is above to bottom.
(=>
      (and
            (bottom ?BOTTOM ?OBJECT)
            (part ?PART ?OBJECT)
            (not
                  (connected ?PART ?BOTTOM)))
      (orientation ?PART ?BOTTOM Above))

If the height of object is height and the top of object is top and the bottom of object is bottom, then the distance between top and bottom is height.
(=>
      (and
            (height ?OBJECT ?HEIGHT)
            (top ?TOP ?OBJECT)
            (bottom ?BOTTOM ?OBJECT))
      (distance ?TOP ?BOTTOM ?HEIGHT))