SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > VolumeMeasure > UnitedStatesGallon

UnitedStatesGallon
subject			fact

UnitedStatesGallon	documentation Unit of volume commonly used in the United States
	has axiom (equal (MeasureFn ?NUMBER Quart) (MeasureFn (DivisionFn ?NUMBER 4) UnitedStatesGallon))
	has axiom (equal (MeasureFn ?NUMBER UnitedStatesGallon) (MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))
	has relatedInternalConcept UnitedKingdomGallon
	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