Physical-dimension AREA-DIMENSION

• Defined in theory: Standard-dimensions
• Source code: standard-dimensions.lisp
• Also defined in: Thermal-system

Slots on this physical-dimension:

Documentation:

The physical dimension of an area is defined as length dimension squared.

Instance-Of: Physical-dimension

Axioms:

(= Area-Dimension (Expt Length-Dimension 2))

Other Related Axioms:

(= Pressure-Dimension (* Force-Dimension (Expt Area-Dimension -1)))

Notes:

• Provided by Bernd Bachmann, DFKI