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

Amu comparison table
Subject is an instance of documentation is a kind of be second domain of be first domain of have axiom
MassMeasure The Class of ConstantQuantities relating to the amount of matter in an ObjectConstantQuantitymeasureDensityFn
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
UnitOfMeasure A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for eachPhysicalQuantityMeasureFnSubtractionFn
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
AmuUnitOfMeasureAtomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope MeasureFnDensityFn
(MeasureFn ?NUMBER Amu)
(MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))

Next MassMeasureAtomGram    UpMassMeasure, UnitOfMeasure    Previous MassMeasureSlug