Function SCALAR-QUANTITIES-OF-DIMENSION

• Defined in theory: Scalar-quantities
• Source code: scalar-quantities.lisp

Slots on this function:

Documentation:

Scalar-Quantities are partitioned into classes of uniform dimension. All instances of one of these classes have the same physical dimension. Each of these classes form a linear order with respect to the < relation. Length scalars, time scalars, and mass scalars are examples of scalar subclasses.

Arity: 2

Domain: Physical-dimension

Range: Class

Axioms:

(=> (Scalar-Quantities-Of-Dimension ?Dimension ?Class)
    (And (Physical-Dimension ?Dimension)
         (= ?Class
            (Kappa (?Q)
                   (And (Scalar-Quantity ?Q)
                        (= (Quantity.Dimension ?Q) ?Dimension))))
         (Linear-Order ?Class <)))