SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > VolumeMeasure > Pint
Next UnitOfMeasurePoundForce    UpUnitOfMeasure, VolumeMeasure    Previous UnitOfMeasurePicoSecond   

Pint
subjectfact 
Pintdocumentation English unit of volume equal to 1/2 of a Quart2001-11-30 13:34:59.0
has axiom
(equal
(MeasureFn ?NUMBER Cup)
(MeasureFn (DivisionFn ?NUMBER 2) Pint))
2001-11-30 13:34:59.0
has axiom
(equal
(MeasureFn ?NUMBER Pint)
(MeasureFn (DivisionFn ?NUMBER 2) Quart))
2001-11-30 13:34:59.0
is an instance of UnitOfMeasure2001-11-30 13:34:59.0
is an instance of VolumeMeasure2001-11-30 13:35:00.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
VolumeMeasureis second domain of DensityFn2001-11-30 13:35:33.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
ConstantQuantityis first domain of MagnitudeFn2001-11-30 13:33:55.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0