Function *

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

Slots on this function:

Documentation:

If $tau_1$, ..., $tau_n$ denote numbers, then the term {tt (* $tau_1 ldots tau_n$)} denotes the product of those numbers.

and also:

Q* is the nary q-operator for expressing the multiplication product

of its q-expressions arguments.

Eg: (Q* (Term-12 current) (Resistor-13 resistance)

Instance-Of: Function, Q-expression-operator

Axioms:

(Undefined (Arity *))

(Undefined (Arity *))

(Undefined (Arity *))

(Undefined (Arity *))