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

quart (Quart)

English unit of volume equal to 1/4 of a UnitedStatesGallon.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

UnitáDiMisura
is instance of
  quart  

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
  QuantitáCostante  
is subclass of
  MisuraVolumetrica  
is subclass of
  quart  

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  pint  pound force  pound mass  rankine degree  slug  united kingdom gallon  united states cent  united states dollar  united states gallon  week duration  year duration 

Related WordNet synsets

quart
a United States liquid unit equal to 32 fluid ounces; four quarts equal one gallon
quart is kind of (all)...   quart is kind of...   quart is part of...   parts of quart...  
quart, dry quart
a United States dry unit equal to 2 pints or 67.2 cubic inches
quart is kind of (all)...   quart is kind of...   quart is part of...   parts of quart...  
quart
a British imperial capacity measure (liquid or dry) equal to 2 pints or 1.136 liters
quart is kind of (all)...   quart is kind of...   quart is part of...   parts of quart...  

Axioms (2)

Se number é un' istanza di NumeroReale, allora "number quart(s" is uguale a ""number/" united states gallon(s". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Quart)
            (MeasureFn
                  (DivisionFn ?NUMBER 4)
                  UnitedStatesGallon)))
Se number é un' istanza di NumeroReale, allora "number pint(s" is uguale a ""number/" quart(s". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))