Theory ABSTRACT-OBJECTS

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

Theory documentation:

Theories included by Abstract-Objects:

  Social-Objects

No theories include Abstract-Objects.

4 classes defined:

    Intellectual-Product
    Notion
       Qualitative-Concept
       Temporal-Concept

No relations defined.

No functions defined.

No instances defined.

The following constants were used from included theories:

• *Agent defined as a class in theory Top-Level
• Abstraction defined as a class in theory Top-Level
• Activity defined as a class in theory Top-Level
• Class defined as a class in theory Frame-Ontology
• Created-By defined as a relation in theory Actors
• Documentation defined as a relation in theory Frame-Ontology
• Information defined as a class in theory Representation
• Judgment-Of defined as a relation in theory Representation
• Medium-Of defined as a relation in theory Actors
• Subclass-Of defined as a relation in theory Frame-Ontology
• Telic-Event defined as a class in theory Top-Level
• Value-Type defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Mapping defined as a relation in theory Built-In-Theory

All constants that were mentioned were defined.