Rankine Comparison Table

Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > ThermodynamicTemperatureMeasure > Rankine

Next ThermodynamicTemperatureMeasure: Celsius Up: ThermodynamicTemperatureMeasure, UnitOfMeasure Previous ThermodynamicTemperatureMeasure: Kelvin

Rankine comparison table

Subject is an instance of documentation is a kind of be second domain of be first domain of have axiom

ThermodynamicTemperatureMeasure Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing ConstantQuantity measure MagnitudeFn
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))

UnitOfMeasure A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each PhysicalQuantity 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)))))

Rankine UnitOfMeasure A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin) MeasureFn MagnitudeFn
(equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Subject	is an instance of	documentation	is a kind of	be second domain of	be first domain of	have axiom
ThermodynamicTemperatureMeasure		Measures of temperature. In scientific circles, the temperature of something is understood as the average velocity of the atoms or molecules that make up the thing	ConstantQuantity	measure	MagnitudeFn	(=> (instance ?FUNCTION UnaryConstantFunctionQuantity) (and (domain ?FUNCTION 1 ConstantQuantity) (range ?FUNCTION ConstantQuantity)))
UnitOfMeasure		A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each	PhysicalQuantity	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)))))
Rankine	UnitOfMeasure	A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)		MeasureFn	MagnitudeFn	(equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))

Next ThermodynamicTemperatureMeasure: Celsius Up: ThermodynamicTemperatureMeasure, UnitOfMeasure Previous ThermodynamicTemperatureMeasure: Kelvin