Unit-of-measure METER

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

Slots on this unit-of-measure:

Documentation:

SI length unit. No conversion function is given because this is a standard.

Instance-Of: Unit-of-measure

Axioms:

(= (Quantity.Dimension Meter) Length-Dimension)

Other Related Axioms:

(= (Base-Units Si-Unit)
   (Setof Meter
          Kilogram
          Second-Of-Time
          Ampere
          Degree-Kelvin
          Mole
          Candela
          Identity-Unit))

(= Kilometer (* Meter 1000))

(= Inch (/ Meter 39.37))

(= Angstrom (/ Meter (Expt 10 10)))

(= Newton (* (* Kilogram Meter) (Expt Second-Of-Time -2)))

(= Joule (* Newton Meter))

(= Pascal (* Newton (Expt Meter -2)))

(= Watt (* Newton Meter))