Theory STANDARD-DIMENSIONS

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

Theory documentation:

This theory defines a set of physical dimensions for quantities. It is independent of any choice of units of measure. This set is based on physics and economics.

Notes:

• (c) 1993, 1994 Greg R. Olsen, Thomas R. Gruber, and Yves Peligry
  
• This theory used to be combined with standard-dimensions 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-Dimensions:

  Physical-Quantities

Theories that include Standard-Dimensions:

  Simple-Geometry
  Standard-Units
  Unary-Scalar-Functions
  Vt-Design

No classes defined.

No relations defined.

No functions defined.

14 instances defined:

  Amount-Of-Substance-Dimension
  Area-Dimension
  Currency-Dimension
  Electrical-Current-Dimension
  Energy-Dimension
  Force-Dimension
  Length-Dimension
  Luminous-Intensity-Dimension
  Mass-Dimension
  Pressure-Dimension
  Thermodynamic-Temperature-Dimension
  Therm^-1-Dimension
  Time-Dimension
  Work-Dimension

The following constants were used from included theories:

• * defined as a function in theory Kif-Numbers
• * defined as a function in theory Physical-Quantities
• Documentation defined as a relation in theory Frame-Ontology
• Expt defined as a function in theory Kif-Numbers
• Expt defined as a function in theory Physical-Quantities
• Physical-Dimension defined as a class in theory Physical-Quantities

All constants that were mentioned were defined.