Physical-dimension THERM^-1-DIMENSION

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

Slots on this instance:

Instance-Of: Physical-dimension

Axioms:

(= Therm^-1-Dimension (Expt Thermodynamic-Temperature-Dimension -1))

Notes:

• Provided by Bernd Bachmann, DFKI