Class SUBPART-SLOT

• Defined in theory: Component-assemblies
• Source code: component-assemblies.lisp

Slots on this class:

Documentation:

A supart slot is a unary function from COMPONENTs to other components. It is antisymmetric and irreflexive.

Instance-Of: Class

Subclass-Of: Antisymmetric-relation, Irreflexive-relation, Unary-function

Range-Of: Has-subpart-slot

---

Slots on instances of this class:

Domain: Component

Range: Component

Other Related Axioms:

(=> (Has-Subpart-Slot $X $Y) (Subpart-Slot $Y))

(<= (Range $X Component) (Subpart-Slot $X))

(<= (Domain $X Component) (Subpart-Slot $X))

Notes:

• Should subpart-slot be a partial order?