Slots on this relation:

(subcomponent-of ?sub ?super) means that the component ?sub
is structurally a part of component ?super. A component cannot be a subcomponent of itself (irrreflexivity) and two components cannot be subcomponents of each other (antisymmetrity).

This is a primitive relation. Formally, any irreflexive and antisymmetric relation defined only on components will satisfy this definition.

Note that the subcomponent-of relation does not name the parts of a component. That is, the subcomponent links are unlabeled arcs. For named subcomponent relations, see has-subpart-slot.

Instance-Of: Antisymmetric-relation, Irreflexive-relation, Relation
Arity: 2
Domain: Component
Range: Component