Q-constraint-operator DECREASE-BY-AMT

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

Slots on this q-constraint-operator:

Documentation:

DecreaseByAmt is a binary q-operator for expressing a negative additive

component of a quantity-term.

See IncreaseBtAmt.

Instance-Of: Q-constraint-operator