pint (Pint)

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

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

Masseinheit

pint

Superclass(es)

Wesen

abstrakter Gegenstand

Eigenschaft

körperliche Quantität

konstante Quantität

Volumenmass

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

Axioms (2)

Wenn number ist ein fall von reelle Zahl , dann "number pint(s)" ist gleich ""number/" quart(s)" .

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

Wenn number ist ein fall von reelle Zahl , dann "number cup(s)" ist gleich ""number/" pint(s)" .

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