Function GIMBAL-1-TORQUE

• Defined in theory: Mace-domain
• Source code: mace-domain.lisp

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: Mechanical-component

Parameter-Slot-Of: Gimbal-1

Range: Time-quantity

Other Related Axioms:

(<- (Gimbal-1-Torque ?X)
    (Dot (Basis.Vec (Reference-Frame Gimbal-1-Base) 1)
         (Applied-Torque Gimbal-1-Base Gimbal-1-Platform)))

(=> (Gimbal-1-Torque $X $Y) (Time-Quantity $Y))

(=> (Gimbal-1-Torque $X $Y) (Mechanical-Component $X))