SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > AmountOfSubstanceMeasure > Mole
Up: AmountOfSubstanceMeasure, SystemeInternationalUnit

Mole
subjectfact 
Moledocumentation SI 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 particles2001-11-30 13:34:45.0
is an instance of AmountOfSubstanceMeasure2001-11-30 13:34:45.0
is an instance of SystemeInternationalUnit2001-11-30 13:34:45.0
ConstantQuantityhas axiom 
(=>
    (instance ?FUNCTION UnaryConstantFunctionQuantity)
    (and
       (domain ?FUNCTION 1 ConstantQuantity)
       (range ?FUNCTION ConstantQuantity)))
2001-11-30 13:33:55.0
is first domain of MagnitudeFn2001-11-30 13:33:55.0
is second domain of measure2001-11-30 13:33:55.0
UnitOfMeasurehas axiom 
(=>
    (and
       (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT)
       (subclass ?UNIT ?QUANTTYPE)
       (not (equal ?QUANTTYPE UnitOfMeasure)))
    (subclass ?QUANT ?QUANTTYPE))
2001-11-30 13:35:31.0
has axiom 
(=>
    (and
       (instance ?FUNCTION RelationExtendedToQuantities)
       (instance ?FUNCTION BinaryFunction)
       (instance ?NUMBER1 RealNumber)
       (instance ?NUMBER2 RealNumber)
       (equal (AssignmentFn ?FUNCTION ?NUMBER1 ?NUMBER2) ?VALUE))
    (forall (?UNIT)
       (=>
          (instance ?UNIT UnitOfMeasure)
          (equal (AssignmentFn ?FUNCTION 
                    (MeasureFn ?NUMBER1 ?UNIT) 
                    (MeasureFn ?NUMBER2 ?UNIT)) 
                 (MeasureFn ?VALUE ?UNIT)))))
2001-11-30 13:35:31.0
has axiom 
(=>
    (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)))))
2001-11-30 13:35:31.0
is 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