**Last modified:***Sunday, 31 July 1994***Source code: physical-quantities.lisp****List of other known theories**

In engineering analysis, physical quantities such as the length of a beam or the velocity of a body are routinely modeled by variables in equations with numbers as values. While human engineers can interpret these numbers as physical quantities by inferring dimension and units from context, the representation of quantities as numbers leaves implicit other relevant information about physical quantities in engineering models, such as physical dimension and unit of measure. Furthermore, there are many classes of models where the magnitude of a physical quantity is not a simple real number - a vector or higher-order tensor for instance. Our goal here is to extend standard mathematics to include unit and dimension semantics.In this theory, we attempt to define the basic concepts associated with physical quantities. A quantity is a hypothetically measurable amount of something. We refer to those things whose amounts are described by physical-quantities as physical-dimensions (following the terminology used in most introductory Physics texts). Time, length, mass, and energy are examples of physical-dimensions. Comparability is inherently tied to the concept of quantities. Quantities are described in terms of reference quantities called units-of-measure. A meter is an example of an unit-of-measure for quantities of the length physical-dimension.

The physical-quantities theory defines the basic vocabulary for describing physical quantities in a general form, making explicit the relationships between magnitudes of various orders, units of measure and physical dimensions. It defines the general class physical-quantity and a set of algebraic operators that are total over all physical quantities. Specializations of the physical-quantity class and the operators are defined in other theories (which use this theory).

The theory also describes specific language for physical units such as meters, inches, and pounds, and physical dimensions such as length, time, and mass. The theory provides representational vocabulary to compose units and dimensions from basis sets and to describe the basic relationships between units and physical dimensions. This theory helps support the consistent use of units in expressions relating physical quantities, and it also supports conversion of units needed in calculations.

- Copyright (c) 1993, 1994 Greg R. Olsen and Thomas R. Gruber
**See-Also:**The EngMath paper on line

Abstract-Algebra

Quantity-SpacesScalar-QuantitiesStandard-Dimensions

Orthogonal-Dimension-Set Physical-Dimension Physical-Quantity Constant-Quantity Dimensionless-Quantity Unit-Of-Measure Function-Quantity Zero-Quantity Relation-Extended-To-Quantities System-Of-Units

<Compatible-QuantitiesDimension-Composable-From

*+-/Base-UnitsExptMagnitudeMagnitude-In-System-Of-UnitsQuantity.DimensionRecipStandard-UnitSummation

Identity-DimensionIdentity-Unit

**The following constants were used from included theories:**

**Abelian-Group***defined as a***relation***in theory***Abstract-Algebra****Arity***defined as a***function***in theory***Frame-Ontology****Associative***defined as a***relation***in theory***Abstract-Algebra****Class***defined as a***class***in theory***Frame-Ontology****Commutative***defined as a***relation***in theory***Abstract-Algebra****Defined***defined as a***class***in theory***Kif-Extensions****Difference***defined as a***function***in theory***Kif-Sets****Distributes***defined as a***relation***in theory***Abstract-Algebra****Documentation***defined as a***relation***in theory***Frame-Ontology****Domain***defined as a***relation***in theory***Frame-Ontology****Exact-Range***defined as a***function***in theory***Frame-Ontology****Exhaustive-Subclass-Partition***defined as a***relation***in theory***Frame-Ontology****Function***defined as a***class***in theory***Kif-Relations****Holds***defined as a***relation***in theory***Kif-Relations****Identity-Element-For***defined as a***relation***in theory***Abstract-Algebra****Individual-Thing***defined as a***class***in theory***Frame-Ontology****Instance-Of***defined as a***relation***in theory***Frame-Ontology****Integer***defined as a***class***in theory***Kif-Numbers****Item***defined as a***relation***in theory***Kif-Lists****Map***defined as a***function***in theory***Kif-Relations****Member***defined as a***relation***in theory***Kif-Sets****Nth-Domain***defined as a***relation***in theory***Frame-Ontology****Positive***defined as a***class***in theory***Kif-Numbers****Range***defined as a***relation***in theory***Frame-Ontology****Real-Number***defined as a***class***in theory***Kif-Numbers****Relation***defined as a***class***in theory***Kif-Relations****Relation-Universe***defined as a***function***in theory***Frame-Ontology****Set***defined as a***class***in theory***Kif-Sets****Simple-Set***defined as a***class***in theory***Kif-Sets****Subclass-Of***defined as a***relation***in theory***Frame-Ontology****Superclass-Of***defined as a***relation***in theory***Frame-Ontology****Value-Cardinality***defined as a***function***in theory***Frame-Ontology**

**All constants that were mentioned were defined.**

Formatting and translation code was written by