Class ARTIFACT

Subclass-Of: Object

The-Archetype: Type

Axioms:

(=> (Artifact ?Self)
    (Exists (?A) (And (Product-Of ?Self ?A) (Human-Activity ?A))))

• Defined in theory: Top-level
• Source code: Top-Level.lisp