**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

**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

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