Physical-dimension FORCE-DIMENSION

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

Slots on this instance:

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))))