Relation NUMBER-OF-CHANNELS

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

Slots on this relation:

Documentation:

The number of channels that a device has.

Instance-Of: Relation

Arity: 2

Domain: Electronic-device

Range: Integer

Other Related Axioms:

(=> (Number-Of-Channels $X $Y) (Electronic-Device $X))

(=> (Number-Of-Channels $X $Y) (Integer $Y))