Function DYAD-OF-DIMENSIONS

• Defined in theory: Tensor-quantities
• Source code: tensor-quantities.lisp

Slots on this function:

Arity: 3

Axioms:

(=> (Dyad-Of-Dimensions ?Physim ?Spatdim ?Class)
    (And (Physical-Dimension ?Physim)
         (Positive-Integer ?Spatdim)
         (= ?Class
            (Kappa (?Vq)
                   (And (Dyad ?Vq)
                        (= (Spatial.Dimension ?Vq) ?Spatdim)
                        (= (Quantity.Dimension ?Vq) ?Physim))))))