Relation M-

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this relation:

Documentation:

The M- relationship holds between two quantities x y exactly when y = f(x) and f is a monotonic decreasing function.

Instance-Of: Relation

Arity: 2

Domain: Time-dependent-quantity

Range: Time-dependent-quantity

Other Related Axioms:

(=> (M- $X $Y) (Time-Dependent-Quantity $Y))

(=> (M- $X $Y) (Time-Dependent-Quantity $X))