SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > VolumeMeasure > Liter
Next UnitOfMeasure: MegaByte    Up: UnitOfMeasure, VolumeMeasure    Previous UnitOfMeasure: Kilometer   

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