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 an inverse monotonic function

of its q-expression argument.

Usually used in conjunction with Q= to express an inverse monotonic

relationship between 2 q-expressions.

Eg: (Q= (Spring-11 acceleration) (QM- (Spring-11 displacement)).

Instance-Of: Q-expression-operator