Physical-dimension AREA-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:

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