Function -

• Defined in theory: Tensor-quantities
• Source code: tensor-quantities.lisp
• Also defined in: Kif-numbers, Physical-quantities, Basic-matrix-algebra

Slots on this function:

Documentation:

The unary minus function is also defined for vector quantities.

Axioms:

(=> (And (Vector-Quantity ?X) (- ?X ?Y))
    (And (Vector-Quantity ?Y)
         (= (+ ?X ?Y)
            (The-Zero-Vector-Of-Type (Quantity.Dimension ?X)
                                     (Spatial.Dimension ?X)))))