Theory ARTIFACTS

• Last modified: Friday, 15 December 2000
• Source code: Artifacts.lisp
• List of other known theories

Theory documentation:

Theories included by Artifacts:

  Actors

Theories that include Artifacts:

  Clin-Act

3 classes defined:

    Machine-Activity
    Manufactured-Object
    Research-Device

No relations defined.

No functions defined.

No instances defined.

The following constants were used from included theories:

• Activity defined as a class in theory Top-Level
• Artifact defined as a class in theory Top-Level
• Class defined as a class in theory Frame-Ontology
• Device defined as a class in theory Top-Level
• Documentation defined as a relation in theory Frame-Ontology
• Effected-By defined as a relation in theory Actors
• Machine defined as a class in theory Top-Level
• Subclass-Of defined as a relation in theory Frame-Ontology
• Used-By defined as a relation in theory Actors

The following constants were used from theories not included:

• Research-Activity defined as a class in theory Social-Objects

All constants that were mentioned were defined.