Relation SCOPE-CHANNELS

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

Slots on this relation:

Documentation:

This scope has the following channel(s).

Instance-Of: Relation

Arity: 2

Domain: Oscilloscope

Range: Oscilloscope-channel

Other Related Axioms:

(=> (Scope-Channels $X $Y) (Oscilloscope $X))

(=> (Scope-Channels $X $Y) (Oscilloscope-Channel $Y))