Slots on this class:

A constant-quantity is a constant value of some physical-quantity, like 3 meters or 55 miles per hour. Constant quantities are distinguished from function-quantities, which map some quantities to other quantities. For example, the velocity of a particle over some range of time would be represented by a function-quantity mapping values of time (which are constant quantities) to velocity vectors (also constant quantities). All real numbers (and numeric tensors of higher order) are constant quantities whose dimension is the identity-dimension (i.e., the so-called 'dimensionless' or dimensionless-quantity).

All constant quantites can be expressed as the product of some dimensionless quantity and a unit of measure. This is what it means to say a quantity `has a magnitude'. For example, 2 meters can be expressed as (* 3 meter), where meter is defined as a unit of measure for length. All units of measure are also constant quantities.

Subclass-Of: Physical-quantity


(<=> (Constant-Quantity ?X)
     (And (Physical-Quantity ?X) (Not (Function-Quantity ?X))))