Physical-dimension AREA-DIMENSION

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

Slots on this instance:

Documentation:

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

Instance-Of: Physical-dimension

Axioms:

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

Notes:

• Provided by Bernd Bachmann, DFKI