bottom (bottom)
(bottom bottom object) holds if bottom is the
lowest or deepest maximal superficial part of object.
Ontology
SUMO / MEREOTOPOLOGYSuperrelation(s)
Type restrictions
bottom(self connected object, self connected object)
Related WordNet synsets
- bottom(a)
- situated at the bottom or lowest position; "the bottom drawer"
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))