Q-expression-operator D/DT

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

Slots on this q-expression-operator:

Documentation:

Qd/dt is a unary q-operator for expressing the time derivative of a

q-expression term.

Often used in conjunction with Q=.

Eg: (Q= (Block-11 velocity) (Qd/dt (Block position)))

Instance-Of: Q-expression-operator