Function VECTOR-QUANTITIES-OF-DIMENSIONS

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

Slots on this function:

Instance-Of: Function

Arity: 3

Other Related Axioms:

(Forall (?Physdim ?Spatdim)
        (Abelian-Group (Vector-Quantities-Of-Dimensions ?Physdim
                                                        ?Spatdim)
                       +
                       (The-Zero-Vector-Of-Type ?Spatdim ?Physdim)))

(<- (Vector-Quantities-Of-Dimensions ?Physim ?Spatdim)
    (If (And (Physical-Dimension ?Physim)
             (Positive-Integer ?Spatdim))
        (Kappa (?Vq)
               (And (Vector-Quantity ?Vq)
                    (= (Spatial.Dimension ?Vq) ?Spatdim)
                    (= (Quantity.Dimension ?Vq) ?Physim)))))