Relation AUTOMATIC-MEASUREMENTS

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Electronic-device

Range: Measurement

Other Related Axioms:

(=> (Automatic-Measurements $X $Y) (Electronic-Device $X))

(=> (Automatic-Measurements $X $Y) (Measurement $Y))