height (height)
The height of an Object is the distance between
its top and its bottom.
Ontologie
SUMO / MEREOTOPOLOGYSuperrelation(s)
Typy argumentů
height(spojitý objekt, délková jednotka)
Related WordNet synsets
- in height(p)
- having a specified height; "five feet tall"; "five feet in height"
Axiomy (1)
Jestliže height(object,height) platí a top(top,object) platí a bottom(bottom,object) platí, potom distance(top,bottom,height) platí.
(=>
(and
(height ?OBJECT ?HEIGHT)
(top ?TOP ?OBJECT)
(bottom ?BOTTOM ?OBJECT))
(distance ?TOP ?BOTTOM ?HEIGHT))