Relation MAX-SAMPLE-RATE-SINGLE-SHOT

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Electronic-device

Range: Constant-quantity

Other Related Axioms:

(=> (Max-Sample-Rate-Single-Shot $X $Y) (Electronic-Device $X))

(=> (Max-Sample-Rate-Single-Shot $X $Y) (Constant-Quantity $Y))