MassMeasure Comparison Table

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > MassMeasure

Next ConstantQuantity: PlaneAngleMeasure Up: ConstantQuantity Previous ConstantQuantity: LengthMeasure

MassMeasure comparison table

Subject is an instance of documentation have axiom

Amu UnitOfMeasure Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope
(equal
(MeasureFn ?NUMBER Amu)
(MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))

AtomGram UnitOfMeasure MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 Mole of pure substance. For example, 1 AtomGram of Carbon 12 will be 12 Grams of pure Carbon 12. 2 AtomGrams of the same substance will be 24 Grams of it. This is an unusual unit in that it is essentially 1 Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance
(=>
(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)))))

Gram UnitOfMeasure Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))

Kilogram SystemeInternationalUnit SI MassMeasure. Symbol: kg. It is one of the base units in SI (it is also the basic unit of mass in the MKS system), and it is equal to the mass of the international prototype of the Kilogram
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))

PoundMass UnitOfMeasure English mass unit of pounds
(=>
(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)))))

Slug UnitOfMeasure English mass unit of slugs
(equal
(MeasureFn ?NUMBER Slug)
(MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))

Subject	is an instance of	documentation	have axiom
Amu	UnitOfMeasure	Atomic mass unit. Symbol: u. It is the mass of the twelfth part of an atom of the Carbon 12 isotope	(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-27) Kilogram))
AtomGram	UnitOfMeasure	MassMeasure that is also known as the gram-atom. Defined as the mass in grams of 1 Mole of pure substance. For example, 1 AtomGram of Carbon 12 will be 12 Grams of pure Carbon 12. 2 AtomGrams of the same substance will be 24 Grams of it. This is an unusual unit in that it is essentially 1 Mole of 'stuff' measured in grams, so that the actual value (i.e. mass) depends on the type of substance	(=> (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)))))
Gram	UnitOfMeasure	Submultiple of Kilogram. Symbol: g. 1 Kilogram = 1000 Grams	(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
Kilogram	SystemeInternationalUnit	SI MassMeasure. Symbol: kg. It is one of the base units in SI (it is also the basic unit of mass in the MKS system), and it is equal to the mass of the international prototype of the Kilogram	(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))
PoundMass	UnitOfMeasure	English mass unit of pounds	(=> (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)))))
Slug	UnitOfMeasure	English mass unit of slugs	(equal (MeasureFn ?NUMBER Slug) (MeasureFn (MultiplicationFn ?NUMBER 14.59390) Kilogram))

Next ConstantQuantity: PlaneAngleMeasure Up: ConstantQuantity Previous ConstantQuantity: LengthMeasure