Theory TOPICS

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

Theory documentation:

Theories included by Topics:

  Actors
  Assessment

No theories include Topics.

15 classes defined:

    Discipline
       Geography
       Life-Science
          Biochemistry
          Biomedicine
          Medicine
          Molecular-Biology
       Physics
       Topography
    Occupation
       Research
          Life-Science-Research
    Occupation-Or-Discipline
       Biomedical-Occupation-Or-Discipline
          Medical-Discipline

No relations defined.

No functions defined.

No instances defined.

The following constants were used from included theories:

• Class defined as a class in theory Frame-Ontology
• Conventional-Within defined as a relation in theory Assessment
• Documentation defined as a relation in theory Frame-Ontology
• Subclass-Of defined as a relation in theory Frame-Ontology
• Thing defined as a class in theory Frame-Ontology
• Topic 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
• Part-Of defined as a relation in theory Mereology
• Usn-Documentation defined as a relation in theory Built-In-Theory

All constants that were mentioned were defined.