Theory STANDARD-UNITS

• Last modified: Monday, 5 December 1994
• Source code: standard-units.lisp
• List of all known theories

Theory documentation:

This theory defines a set of basic units of measure. The associated physical dimensions are defined in the standard-dimensions theory. Each unit-of-measure is defined with its relationship to SI units for the fundamental dimensions. It is intended that this theory represent enough information to convert among any pair of units of the same dimension that are either defined as basic units here or built up from the basic units using the composition operators * and EXPT.

Notes:

• This theory used to be combined with standard-units in a theory called standard-units-and-dimensions. We divided them because commitments to one are often independent of commitments to the other.
• See-Also: The EngMath paper on line

Cross Reference Report:

Theories included by Standard-Units:

  Standard-Dimensions

Theories that include Standard-Units:

  Product-Theory

1 class defined:

    Si-Unit

No relations defined.

No functions defined.

39 instances defined:

  Ampere
  Angstrom
  Angular-Degree
  Btu
  Candela
  Degree-Celcius
  Degree-Kelvin
  Degree-Rankine
  Foot
  Hertz
  Hour
  Inch
  Joule
  Kilo-Hertz
  Kilogram
  Kilometer
  Mega-Hertz
  Megapascal
  Meter
  Micro-Volt
  Mile
  Milli-Amp
  Minute
  Mole
  Nano-Ampere
  Nano-Second
  Newton
  Ohm
  Pascal
  Pico-Ampere
  Pound-Force
  Pound-Mass
  Radian
  Second-Of-Time
  Slug
  The-Number-Pi
  Us-Cent
  Us-Dollar
  Watt

1 class defined:

  Si-Unit

The following constants were undefined:

Volt