pint (Pint)

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

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

měrná jednotka

pint

Nadtřída(y)

entita

abstraktum

veličina

fyzikální veličina

konstantní veličina

jednotka objemu

pint

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 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, dry pint: a United States dry unit equal to 0.5 quart or 33.6 cubic inches
pint: a British imperial capacity measure (liquid or dry) equal to 4 gills or 568.26 cubic centimeters

Axiomy (2)

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

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

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