Mechanical-component GIMBAL-1-PLATFORM

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

Slots on this mechanical-component:

Instance-Of: Mechanical-component

Subcomponent-Of: Gimbal-1

Axioms:

(= (Reference-Point Gimbal-1-Platform)
   (Reference-Point Gimbal-1-Base))

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

Other Related Axioms:

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