SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > AmountOfSubstanceMeasure
Next ConstantQuantity: CurrencyMeasure    Up: ConstantQuantity    Previous ConstantQuantity: VolumeMeasure   

AmountOfSubstanceMeasure comparison table
Subject is an instance of documentation be disjoint from be second domain of be first domain of partition into have axiom
MoleSystemeInternationalUnitSI AmountOfSubstanceUnit. symbol: mol. It is one of the base units in SI. It is defined as follows: the Mole is the amount of substance of a system which contains as many elementary entities as there are atoms in 0.012 Kilograms of carbon 12. Note that, when this UnitOfMeasure is used, the elementary entities must be specified - they may be atoms, molecules, ions, electrons, etc. or groups of such particlesPhysicalMeasureFnMagnitudeFnConstantQuantity, FunctionQuantity
(=>
    (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)))))

Next ConstantQuantity: CurrencyMeasure    Up: ConstantQuantity    Previous ConstantQuantity: VolumeMeasure