SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure > Amu
Next MassMeasure: AtomGram    Up: MassMeasure, UnitOfMeasure    Previous MassMeasure: Slug   

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)
    (and
       (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
(=>
    (and
       (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
(equal
         (MeasureFn ?NUMBER Amu)
         (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))

Next MassMeasure: AtomGram    Up: MassMeasure, UnitOfMeasure    Previous MassMeasure: Slug