Function REFERENCE-FRAME


Slots on this function:

Documentation:
The reference frame of a mechanical-component.
Instance-Of: Function
Arity: 2
Domain: Mechanical-component
Range: 3d-frame

Other Related Axioms:

(Inherited-Facet-Value Slot-Cardinality
                       Mechanical-Component
                       Reference-Frame
                       1)

(Inherited-Facet-Value Slot-Value-Type
                       Mechanical-Component
                       Reference-Frame
                       3d-Frame)

(=> (Mechanical-Component ?P)
    (And (Value-Type ?P Reference-Point 3d-Point)
         (Value-Cardinality ?P Reference-Point 1)
         (Value-Type ?P Reference-Frame 3d-Frame)
         (Value-Cardinality ?P Reference-Frame 1)
         (Value-Type ?P Mass Scalar-Quantity)
         (Value-Cardinality ?P Mass 1)
         (3d-Dyad (Inertia-Tensor ?P (Reference-Point ?P)))))

(=> (Reference-Frame $X $Y) (3d-Frame $Y))

(=> (Reference-Frame $X $Y) (Mechanical-Component $X))