Relation MAX-RISE-TIME

• 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-Rise-Time $X $Y) (Electronic-Device $X))

(=> (Max-Rise-Time $X $Y) (Constant-Quantity $Y))