Function *

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp
• Also defined in: Kif-numbers, Physical-quantities, Scalar-quantities, Basic-matrix-algebra, Tensor-quantities

Slots on this function:

Documentation:

Defines the specialization of the multiplication operator * for unary-scalar-function-quantitys. It is defined for the cases where both its arguments are USFs, and also when the first is a scalar and the second is a USF.

Instance-Of: Function, Relation-extended-to-function-quantities

Axioms:

(=> (And (Unary-Scalar-Function-Quantity ?X)
         (Unary-Scalar-Function-Quantity ?Y)
         (* ?X ?Y ?Z))
    (Unary-Scalar-Function-Quantity ?Z))