SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > AmountOfSubstanceMeasure
Next ConstantQuantityCurrencyMeasure    UpConstantQuantity    Previous ConstantQuantityVolumeMeasure   

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 ConstantQuantityCurrencyMeasure    UpConstantQuantity    Previous ConstantQuantityVolumeMeasure