Physical-dimension
VELOCITY-DIMENSION
Defined in theory:
Thermal-system
Source code:
thermal-system.ol
Slots on this instance:
Instance-Of
:
Physical-dimension
Axioms:
(
=
Velocity-Dimension
(
/
Length-Dimension
Time-Dimension
))