Class DIMENSIONLESS-QUANTITY


Slots on this class:

Documentation:
Although it sounds contradictory, a dimensionless-quantity is a quantity whose dimension is the identity-dimension. All numeric tensors, including real numbers, are nondimensional quantities.
Subclass-Of: Constant-quantity
Superclass-Of: Real-number


Slots on instances of this class:

Quantity.Dimension: Identity-dimension

Axioms:

(<=> (Dimensionless-Quantity ?X)
     (And (Constant-Quantity ?X)
          (= (Quantity.Dimension ?X) Identity-Dimension)))


Notes: