Physical-dimension
PRESSURE-DIMENSION
Defined in theory:
Thermal-system
Source code:
thermal-system.ol
Also defined in:
Standard-dimensions
Slots on this instance:
Instance-Of
:
Physical-dimension
Axioms:
(
=
Pressure-Dimension
(
/
Mass-Dimension
(
*
Length-Dimension
(
Expt
Time-Dimension
2))))