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

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-MEASURE

Class(es)

class
is instance of
  inheritable relation  
is instance of
  single valued relation  
is instance of
  width  

Superrelation(s)

measure
is subrelation of
  length  
is subrelation of
  width  

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"
in width(p) is similar to...  

Axioms (1)

The width of object is width if and only if there exist side1,side2 so that a side of object is side1 and a side of object is side2 and the distance between side1 and side2 is width. 
(<=>
      (width ?OBJECT ?WIDTH)
      (exists
            (?SIDE1 ?SIDE2)
            (and
                  (side ?SIDE1 ?OBJECT)
                  (side ?SIDE2 ?OBJECT)
                  (distance ?SIDE1 ?SIDE2 ?WIDTH))))