Rankine concept from the SUMO knowledge base

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

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

Rankine

subject fact

Rankine documentation A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin) 2001-11-30 13:35:08.0
has axiom
(equal
(MeasureFn ?NUMBER Rankine)
(MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
is an instance of ThermodynamicTemperatureMeasure
is an instance of UnitOfMeasure

UnitOfMeasure is second domain of MeasureFn 2001-11-30 13:35:31.0

ConstantQuantity is first domain of MagnitudeFn 2001-11-30 13:33:55.0

PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity 2001-11-30 13:34:58.0

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

Rankine	*documentation* A ThermodynamicTemperatureMeasure. Note that 0 degrees Rankine is the same as the absolute zero (i.e. 0 degrees Kelvin)
	has axiom (equal (MeasureFn ?NUMBER Rankine) (MeasureFn (MultiplicationFn ?NUMBER 1.8) Kelvin))
	*is an instance* of** ThermodynamicTemperatureMeasure
	*is an instance* of** UnitOfMeasure
UnitOfMeasure	*is second domain* of** MeasureFn
ConstantQuantity	*is first domain* of** MagnitudeFn
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Abstract	*is disjoint* from** Physical