寬度 (width)
BinaryPredicate that is used to state the measure
of an Object from side to side at its widest span.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superrelation(s)
Subrelation(s)
直徑
Coordinate term(s)
年紀
標高
日期
深度
距離
父親
貨幣價值
母親
單一指稱
(結合)價
Related WordNet synsets
- in width(p), in breadth(p)
- of a specified width; "a yard in width"; "three feet in breadth"
Axioms (1)
object 的 寬度 是 width if and only if there exist side1,side2 so that object 的 側面 是 side1 and object 的 側面 是 side2 and side1 和 side2 之間 距離 是 width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))