Relation VERNIER-ACCURACY

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

Slots on this relation:

Instance-Of: Relation

Arity: 2

Domain: Individual

Range: Real-number

Other Related Axioms:

(=> (Vernier-Accuracy $X $Y) (Individual $X))

(=> (Vernier-Accuracy $X $Y) (Real-Number $Y))