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