Class DEVICE

Subclass-Of: Artifact
The-Archetype: Type
Axioms:
(=> (Device ?Self)
    (Exists (?A) (And (Instrument-Of ?Self ?A) (Act ?A))))