Function DERIVATIVE-OF

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this function:

Documentation:

(= (derivative-of F1) F2) means F1(x) = dx/dt F2(x).

Instance-Of: Function

Arity: 2

Domain: Quantity-slot

Other Related Axioms:

(=> (Derivative-Of $X $Y) (Quantity-Slot $X))