SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > ThermodynamicTemperatureMeasure
Next ConstantQuantityTimeMeasure    UpConstantQuantity    Previous ConstantQuantitySolidAngleMeasure   

ThermodynamicTemperatureMeasure
subjectfact 
ThermodynamicTemperatureMeasuredocumentation 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 thing2001-11-30 13:35:26.0
is a kind of ConstantQuantity2001-11-30 13:35:26.0
ConstantQuantityhas axiom
(=>
(instance ?FUNCTION UnaryConstantFunctionQuantity)
(and
(domain ?FUNCTION 1 ConstantQuantity)
(range ?FUNCTION ConstantQuantity)))
2001-11-30 13:33:55.0
is first domain of MagnitudeFn2001-11-30 13:33:55.0
is second domain of measure2001-11-30 13:33:55.0
PhysicalQuantityis partitioned into ConstantQuantity, FunctionQuantity2001-11-30 13:34:58.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Kinds of ThermodynamicTemperatureMeasure :