width (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)
diameter
Coordinate term(s)
age
altitude
date
depth
distance
father
monetary value
mother
unique identifier
valence
Related WordNet synsets
- in width(p), in breadth(p)
- of a specified width; "a yard in width"; "three feet in breadth"
Axioms (1)
L' ampiezza di object é width se e solo se esiste side1,side2 tale che un lato di object é side1 e un lato di object é side2 e la distanza tra side1 e side2 é width.
(<=>
(width ?OBJECT ?WIDTH)
(exists
(?SIDE1 ?SIDE2)
(and
(side ?SIDE1 ?OBJECT)
(side ?SIDE2 ?OBJECT)
(distance ?SIDE1 ?SIDE2 ?WIDTH))))