SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > VolumeMeasure > Cup

Cup
subject			fact

Cup	documentation English unit of volume equal to 1/2 of a Pint
	has axiom (equal (MeasureFn ?NUMBER Cup) (MeasureFn (DivisionFn ?NUMBER 2) Pint))
	has axiom (equal (MeasureFn ?NUMBER Ounce) (MeasureFn (DivisionFn ?NUMBER 8) Cup))
	is an instance of UnitOfMeasure
	is an instance of VolumeMeasure
UnitOfMeasure	is second domain of MeasureFn
VolumeMeasure	is second domain of DensityFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
ConstantQuantity	is first domain of MagnitudeFn
Abstract	is disjoint from Physical