quart (Quart)

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

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

měrná jednotka

quart

Nadtřída(y)

entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

jednotka objemu

quart

Související termín(y)

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, dry quart: a United States dry unit equal to 2 pints or 67.2 cubic inches
quart: a British imperial capacity measure (liquid or dry) equal to 2 pints or 1.136 liters

Axiomy (2)

Jestliže number je instancí třídy reálné číslo, potom "number quart(s)" se rovná ""number/" united states gallon(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Quart)
            (MeasureFn
                  (DivisionFn ?NUMBER 4)
                  UnitedStatesGallon)))

Jestliže number je instancí třídy reálné číslo, potom "number pint(s)" se rovná ""number/" quart(s)".

(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))