Q-expression-operator M+

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

Slots on this q-expression-operator:

Documentation:

QM+ is a unary q-operator for expressing a monotonic function of its

q-expression argument.

Usually used in conjunction with Q= to express a monotonic relationship

between 2 q-expressions.

Eg: (Q= (Block-11 position) (QM+ (Spring-11 displacement)).

Instance-Of: Q-expression-operator