Physical-dimension
VOLUME-DIMENSION
Defined in theory:
Thermal-system
Source code:
thermal-system.ol
Slots on this instance:
Instance-Of
:
Physical-dimension
Axioms:
(
=
Volume-Dimension
(
Expt
Length-Dimension
3))