Function D/DT

• Defined in theory: Unary-scalar-functions
• Source code: unary-scalar-functions.lisp

Slots on this function:

Documentation:

(D/DT ?q) is the derivative with respect to time of the
time-dependent-quantity ?q. It is undefined on other quantities, including constant-quantities.

Instance-Of: Function

Arity: 2

Other Related Axioms:

(<- (D/Dt ?Q) (If (Time-Dependent-Quantity ?Q) (Deriv ?Q)))