Class MECHANICAL-COMPONENT

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

Slots on this class:

Documentation:

Mechanical-component is a specialization of COMPONENT from the component-assemblies theory. Mechanical components are three-dimensional objects with an associated reference point and reference frame. They also have a slot called MASS whose value is a scalar-quantity of dimension mass-dimension.

Instance-Of: Class

Subclass-Of: Component

Domain-Of: Mass, Reference-frame, Reference-point

---

Slots on instances of this class:

Mass:

Slot-Cardinality: 1

Slot-Value-Type: Scalar-quantity

Reference-Frame:

Slot-Cardinality: 1

Slot-Value-Type: 3d-frame

Reference-Point:

Slot-Cardinality: 1

Slot-Value-Type: 3d-point

Axioms:

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

Other Related Axioms:

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

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

(=> (Mass $X $Y) (Mechanical-Component $X))

(Nth-Domain Inertia-Tensor 1 Mechanical-Component)

(Nth-Domain Applied-Force 2 Mechanical-Component)

(Nth-Domain Applied-Force 1 Mechanical-Component)

(Nth-Domain Applied-Torque 2 Mechanical-Component)

(Nth-Domain Applied-Torque 1 Mechanical-Component)