Class
DEVICE
Subclass-Of
:
Artifact
The-Archetype:
Type
Axioms:
(=> (
Device
?Self) (Exists (?A) (And (Instrument-Of ?Self ?A) (
Act
?A))))
Defined in theory:
Top-level
Source code:
Top-Level.lisp