SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure > Kilogram
Next MassMeasurePoundMass    UpMassMeasure, SystemeInternationalUnit    Previous MassMeasureGram   

Kilogram
subjectfact 
Kilogramdocumentation SI MassMeasure. Symbol: kg. It is one of the base units in SI (it is also the basic unit of mass in the MKS system), and it is equal to the mass of the international prototype of the Kilogram2001-11-30 13:34:33.0
has axiom
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))
2001-11-30 13:34:33.0
has axiom
(equal
(MeasureFn ?NUMBER Pound)
(MeasureFn (MultiplicationFn ?NUMBER 0.45359237) Kilogram))
2001-11-30 13:34:33.0
has axiom
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))
2001-11-30 13:34:33.0
has axiom
(equal
(MeasureFn ?NUMBER Gram)
(MeasureFn (MultiplicationFn ?NUMBER 0.001) Kilogram))
2001-11-30 13:34:33.0
has axiom
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
2001-11-30 13:34:34.0
is an instance of MassMeasure2001-11-30 13:34:34.0
is an instance of SystemeInternationalUnit2001-11-30 13:34:34.0
MassMeasureis first domain of DensityFn2001-11-30 13:34:39.0
ConstantQuantityis second domain of measure2001-11-30 13:33:55.0
UnitOfMeasureis second domain of MeasureFn2001-11-30 13:35:31.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0