Function THE-ZERO-SCALAR-FOR-DIMENSION


Slots on this function:

Documentation:
The zero element for scalars of physical-dimension ?dimension. The real number 0 is the zero scalar-quantity for quantities of identity-dimension (i.e., dimensionless scalars). We make the distinction between 0 meters and 0 seconds, for instance, to maintain our compatibility requirements for operators such as addition (i.e. a length quantity + a length quantity always equals another length quantity). In practice, the distinction between zero quantities may not be important to any models, but there inclusion frees us from special cases for composition of quantities of different dimensions.
Arity: 2
Domain: Physical-dimension
Range: Scalar-quantity, Zero-quantity

Axioms:

(= 0 (The-Zero-Scalar-For-Dimension Identity-Dimension))

(<=> (The-Zero-Scalar-For-Dimension ?Dimension ?Zero-Scalar)
     (And (Physical-Dimension ?Dimension)
          (Scalar-Quantity ?Zero-Scalar)
          (Zero-Quantity ?Zero-Scalar)
          (Identity-Element-For 
              ?Zero-Scalar
              +
              (Scalar-Quantities-Of-Dimension ?Dimension))))