Relation SUBPART-SLOT-OF

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

Slots on this relation:

Documentation:

Part-Slot-of is the inverse of has-subpart-slot: it maps subpart slots to the components to which they have been applied.

Instance-Of: Relation

Arity: 2

Inverse: Has-subpart-slot

Other Related Axioms:

(<=> (Subpart-Slot-Of $Arg1 $Arg2) (Has-Subpart-Slot $Arg2 $Arg1))

Notes:

• Formerly-Called: part-slot-of