SUMO   View all facts   Glossary   Help

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure > Amu

Amu
subject			fact

Amu	documentation Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope
	has axiom (equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))
	is an instance of MassMeasure
	is an instance of UnitOfMeasure
MassMeasure	is first domain of DensityFn
UnitOfMeasure	is second domain of MeasureFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	is disjoint from Physical