Relation HAS-SUBCOMPONENT

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

Slots on this relation:

Documentation:

has-subcomponent is the inverse of subcomponent-of. (has-subcomponent A B) iff B is a subcomponent-of A.

Instance-Of: Relation

Arity: 2

Domain: Component

Inverse: Subcomponent-of

Other Related Axioms:

(<=> (Has-Subcomponent $Arg1 $Arg2) (Subcomponent-Of $Arg2 $Arg1))