Q-expression-operator SUM

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp

Slots on this q-expression-operator:

Documentation:

All-Q+ is used in conjunction with the SetOf operator to express the

sum of a group of q-terms.

Eg: (All-Q+ (SetOf TERM (Device-12 inputTerminals) (TERM current)))

expresses the sum of the current flowing thru the input terminals of

Device-12.

Instance-Of: Q-expression-operator