Q-constraint-operator INCREASE-BY-AMT

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

Slots on this q-constraint-operator:

Documentation:

IncreaseByAmt is a binary q-operator for expressing a positive additive

component of a quantity-term.

Eg: (IncreaseByAmt (Battery-11 amtOfCharge) (Cell-12 amtOfCharge)) (IncreaseByAmt (Battery-11 amtOfCharge) (Cell-13 amtOfCharge))

together

states that the amt of charge in Battery-11 is the sum of the amt of

charge in Cell-12 and Cell-13, and possibly other components too.

IncreaseByAmt expressions are constraints, and do not evaluate to values.

Instance-Of: Q-constraint-operator