Physical-dimension FORCE-DIMENSION

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

Slots on this physical-dimension:

Documentation:

The physical dimension of force is defined as mass times length over time squared. In some systems FORCE-DIMENSION is fundamental and MASS-DIMENSION is a derived dimension. This theory goes with the SI standard, but we include the definition of force as a non-fundamental built-in dimension.

Instance-Of: Physical-dimension

Axioms:

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

Other Related Axioms:

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

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