Function GIMBAL-2-ANGLE

• 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-2

Range: Time-quantity

Other Related Axioms:

(=> (Gimbal-2-Angle $X $Y) (Time-Quantity $Y))

(=> (Gimbal-2-Angle $X $Y) (Mechanical-Component $X))

(= (Orientation (Reference-Frame Gimbal-2-Platform)
                (Reference-Frame Gimbal-2-Base))
   (Simple-Rotation 3 Gimbal-2-Angle))