(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))