Kilogram Comparison Table

Next MassMeasure: PoundMass Up: MassMeasure, SystemeInternationalUnit Previous MassMeasure: Gram

Kilogram 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 Object ConstantQuantity measure DensityFn
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))

SystemeInternationalUnit The Class of Systeme International (SI) units UnitOfMeasure MeasureFn SubtractionFn
(=>
(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)))))

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 MeasureFn DensityFn
(equal
(MeasureFn ?NUMBER Kilogram)
(MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))

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 Object	ConstantQuantity	measure	DensityFn	(=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))
SystemeInternationalUnit		The Class of Systeme International (SI) units	UnitOfMeasure	MeasureFn	SubtractionFn	(=> (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)))))
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		MeasureFn	DensityFn	(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))

Next MassMeasure: PoundMass Up: MassMeasure, SystemeInternationalUnit Previous MassMeasure: Gram