VolumeMeasure concept from the SUMO knowledge base

Next ConstantQuantity: AmountOfSubstanceMeasure Up: ConstantQuantity Previous ConstantQuantity: TimeMeasure

VolumeMeasure

subject fact

VolumeMeasure documentation Measures of the amount of space in three dimensions 2001-11-30 13:35:33.0
is second domain of DensityFn
is a kind of ConstantQuantity

ConstantQuantity has axiom
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
2001-11-30 13:33:55.0
is first domain of MagnitudeFn

PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity 2001-11-30 13:34:58.0

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

Kinds of VolumeMeasure :

Cup (5 facts) - English unit of volume equal to 1/2 of a Pint
Liter (5 facts) - Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l
Ounce (4 facts) - English unit of volume equal to 1/8 of a Cup
Pint (5 facts) - English unit of volume equal to 1/2 of a Quart
Quart (5 facts) - English unit of volume equal to 1/4 of a UnitedStatesGallon
UnitedKingdomGallon (4 facts) - Unit of volume commonly used in the United Kingdom
UnitedStatesGallon (6 facts) - Unit of volume commonly used in the United States

VolumeMeasure	*documentation* Measures of the amount of space in three dimensions
	*is second domain* of** DensityFn
	is a kind of ConstantQuantity
ConstantQuantity	has axiom (=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))
ConstantQuantity	*is first domain* of** MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	*is disjoint* from** Physical