Function X

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

Slots on this function:

Documentation:

Positition coordinate of MACE wrt the GROUND.

Arity: 2

Domain: Mechanical-component

Parameter-Slot-Of: Planar-mace

Range: Time-quantity

Axioms:

(=> (X ?X ?Q)
    (= ?Q
       (Dot (Position (Reference-Point ?X) (Reference-Point Ground))
            (Basis.Vec (Reference-Frame Ground) 1))))