Relation COUPLING

• Defined in theory: Device-theory
• Source code: device-theory.lisp

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Electronic-device

Range: Coupling-type

Other Related Axioms:

(=> (Coupling $X $Y) (Electronic-Device $X))

(=> (Coupling $X $Y) (Coupling-Type $Y))