Physical-dimension
FREQUENCY-DIMENSION
Defined in theory:
Thermal-system
Source code:
thermal-system.ol
Slots on this instance:
Instance-Of
:
Physical-dimension
Axioms:
(
=
Frequency-Dimension
(
Expt
Time-Dimension
-1))