**Last modified:***Wednesday, 21 September 1994***Source code: standard-units.lisp****List of other known theories**

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.

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

Standard-Dimensions

**No theories include Standard-Units.**

Si-Unit

AmpereAngstromAngular-DegreeBtuCandelaDegree-KelvinDegree-RankineFootHourInchJouleKilogramKilometerMegapascalMeterMileMinuteMoleNewtonPascalPound-ForcePound-MassRadianSecond-Of-TimeSlugThe-Number-PiUs-CentUs-DollarWatt

**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.**

Formatting and translation code was written by