Class RESEARCH-DEVICE

A manufactured object used primarily in carrying out scientific research or experimentation.

Subclass-Of: Device

Axioms:

(=> (Research-Device ?Self)
    (Exists (?A) (And (Used-By ?Self ?A) (Research-Activity ?A))))

• Defined in theory: Artifacts
• Source code: Artifacts.lisp