Physical-dimension LENGTH-DIMENSION

• Defined in theory: Standard-dimensions
• Source code: standard-dimensions.lisp

Slots on this physical-dimension:

Documentation:

The fundamental dimension of length, as defined by the SI standard.

Instance-Of: Physical-dimension

Other Related Axioms:

(= Work-Dimension (* Force-Dimension Length-Dimension))

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

(= Energy-Dimension
   (* Mass-Dimension
      (* (Expt Length-Dimension 2) (Expt Time-Dimension -2))))

(= Force-Dimension
   (* Mass-Dimension (* Length-Dimension (Expt Time-Dimension -2))))