Function REFERENCE-POINT

• Defined in theory: Mechanical-components
• Source code: mechanical-components.lisp

Slots on this function:

Documentation:

The reference point of a mechanical-component.

Instance-Of: Function

Arity: 2

Domain: Mechanical-component

Range: 3d-point

Other Related Axioms:

(Instance-Of (Inertia-Tensor ?P (Reference-Point ?P)) 3d-Dyad)

(3d-Dyad (Inertia-Tensor ?P (Reference-Point ?P)))

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

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

(=> (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-Point $X $Y) (3d-Point $Y))

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