SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure > Gram
Next MassMeasureKilogram    UpMassMeasure, UnitOfMeasure    Previous MassMeasureAtomGram   

Gram
subjectfact 
Gramdocumentation Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams2001-11-30 13:34:22.0
has axiom
(equal
(MeasureFn ?NUMBER Gram)
(MeasureFn (MultiplicationFn ?NUMBER 0.001) Kilogram))
2001-11-30 13:34:22.0
has axiom
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
2001-11-30 13:34:22.0
is an instance of MassMeasure2001-11-30 13:34:22.0
is an instance of UnitOfMeasure2001-11-30 13:34:22.0
MassMeasureis first domain of DensityFn2001-11-30 13:34:39.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