Theory STANDARD-UNITS

• Last modified: Wednesday, 21 September 1994
• Source code: standard-units.lisp
• List of other 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:

• (c) 1993, 1994 Greg R. Olsen, Thomas R. Gruber, and Yves Peligry
  
• 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

No theories include Standard-Units.

1 class defined:

    Si-Unit

No relations defined.

No functions defined.

29 instances defined:

  Ampere
  Angstrom
  Angular-Degree
  Btu
  Candela
  Degree-Kelvin
  Degree-Rankine
  Foot
  Hour
  Inch
  Joule
  Kilogram
  Kilometer
  Megapascal
  Meter
  Mile
  Minute
  Mole
  Newton
  Pascal
  Pound-Force
  Pound-Mass
  Radian
  Second-Of-Time
  Slug
  The-Number-Pi
  Us-Cent
  Us-Dollar
  Watt

The following constants were used from included theories:

• * defined as a function in theory Kif-Numbers
• * defined as a function in theory Physical-Quantities
• / defined as a function in theory Kif-Numbers
• / defined as a function in theory Physical-Quantities
• Amount-Of-Substance-Dimension defined as a object in theory Standard-Dimensions
• Base-Units defined as a function in theory Physical-Quantities
• Class defined as a class in theory Frame-Ontology
• Currency-Dimension defined as a object in theory Standard-Dimensions
• Documentation defined as a relation in theory Frame-Ontology
• Electrical-Current-Dimension defined as a object in theory Standard-Dimensions
• Energy-Dimension defined as a object in theory Standard-Dimensions
• Expt defined as a function in theory Kif-Numbers
• Expt defined as a function in theory Physical-Quantities
• Force-Dimension defined as a object in theory Standard-Dimensions
• Identity-Dimension defined as a object in theory Physical-Quantities
• Identity-Unit defined as a object in theory Physical-Quantities
• Length-Dimension defined as a object in theory Standard-Dimensions
• Luminous-Intensity-Dimension defined as a object in theory Standard-Dimensions
• Mass-Dimension defined as a object in theory Standard-Dimensions
• Pressure-Dimension defined as a object in theory Standard-Dimensions
• Quantity.Dimension defined as a function in theory Physical-Quantities
• Real-Number defined as a class in theory Kif-Numbers
• Subclass-Of defined as a relation in theory Frame-Ontology
• System-Of-Units defined as a class in theory Physical-Quantities
• Thermodynamic-Temperature-Dimension defined as a object in theory Standard-Dimensions
• Time-Dimension defined as a object in theory Standard-Dimensions
• Unit-Of-Measure defined as a class in theory Physical-Quantities
• Work-Dimension defined as a object in theory Standard-Dimensions

All constants that were mentioned were defined.