SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > VolumeMeasure > Liter
Next UnitOfMeasureMegaByte    UpUnitOfMeasure, VolumeMeasure    Previous UnitOfMeasureKilometer   

Liter
subjectfact 
Literdocumentation Unit of volume in the metric system. It is currently defined to be equal to one cubic decimeter (0.001 cubic meter). Symbol: l2001-11-30 13:34:36.0
has axiom
(equal
(MeasureFn ?NUMBER UnitedKingdomGallon)
(MeasureFn (MultiplicationFn ?NUMBER 4.54609) Liter))
2001-11-30 13:34:36.0
has axiom
(equal
(MeasureFn ?NUMBER UnitedStatesGallon)
(MeasureFn (MultiplicationFn ?NUMBER 3.785411784) Liter))
2001-11-30 13:34:36.0
is an instance of UnitOfMeasure2001-11-30 13:34:36.0
is an instance of VolumeMeasure2001-11-30 13:34:36.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