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

pint (Pint)

English unit of volume equal to 1/2 of a Quart.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

unit of measure
is instance of
  pint  

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
  constant quantity  
is subclass of
  volume measure  
is subclass of
  pint  

Coordinate term(s)

amu  angstrom  angular degree  atom gram  bit  british thermal unit  byte  calorie  centimeter  cup  day duration  electron volt  euro cent  euro dollar  fahrenheit degree  foot  hour duration  inch  kilo byte  liter  mega byte  mile  minute duration  ounce  pound force  pound mass  quart  rankine degree  slug  united kingdom gallon  united states cent  united states dollar  united states gallon  week duration  year duration 

Related WordNet synsets

pint
a United States liquid unit equal to 16 fluid ounces; two pints equal one quart
pint is kind of (all)...   pint is kind of...   pint is part of...   parts of pint...  
pint, dry pint
a United States dry unit equal to 0.5 quart or 33.6 cubic inches
pint is kind of (all)...   pint is kind of...   pint is part of...  
pint
a British imperial capacity measure (liquid or dry) equal to 4 gills or 568.26 cubic centimeters
pint is kind of (all)...   pint is kind of...   pint is part of...   parts of pint...  

Axioms (2)

If number is an instance of real number, then "number pint(s)" is equal to ""number/" quart(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))
If number is an instance of real number, then "number cup(s)" is equal to ""number/" pint(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))