Unit-of-measure DEGREE-KELVIN

• Defined in theory: Standard-units
• Source code: standard-units.lisp

Slots on this unit-of-measure:

Documentation:

A unit of thermodynamic temperature. The degree-Kelvin differs from the Celcius scale ...

Instance-Of: Unit-of-measure

Axioms:

(= (Quantity.Dimension Degree-Kelvin)
   Thermodynamic-Temperature-Dimension)

Other Related Axioms:

(= (Base-Units Si-Unit)
   (Setof Meter
          Kilogram
          Second-Of-Time
          Ampere
          Degree-Kelvin
          Mole
          Candela
          Identity-Unit))

(= Degree-Rankine (* Degree-Kelvin (/ 5 9)))