Theory TOP-LEVEL

• Last modified: Saturday, 23 December 2000
• Source code: Top-Level.lisp
• List of other known theories

Theory documentation:

Theories included by Top-Level:

  Layers

Theories that include Top-Level:

  Actors
  Assessment
  Meronymy
  Morphology
  Physical-Concepts
  Unrestricted-Time

34 classes defined:

    *Agent
    Continuant
    Entity
       Abstraction
          Topic
       Localized-Entity
          Object
             Artifact
                Device
                   Machine
             Material-Object
                Biologic-Object
                   Organism
                Substance
             Social-Object
       Temporalized-Entity
          Process
             Act
                Telic-Event
                   Activity
                      Human-Activity
                      Procedure
             Natural-Process
                Biologic-Process
                Non-Biologic-Process
                   *Human-Caused-Phenomenon-Or-Process
                   *Natural-Phenomenon-Or-Process
          Situation
          Time-Span
    Interval
    Material-Region
    Occurrent
    Phenomenon-Or-Process
    Physical-Object

2 relations defined:

  Context
  Context-Of

No functions defined.

No instances defined.

The following constants were used from included theories:

• Alias defined as a relation in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Assessment-Relation defined as a relation in theory Structuring-Concepts
• Category defined as a class in theory Metaontology
• Class defined as a class in theory Frame-Ontology
• Different defined as a relation in theory Equality
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Inverse defined as a function in theory Kif-Relations
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Reified-Role defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Strictly-Depends-On defined as a relation in theory Dependence
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subclass-Partition defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Thing defined as a class in theory Frame-Ontology
• Type defined as a class in theory Metaontology
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology
• _Abstract defined as a relation in theory Layers
• _Biologic defined as a relation in theory Layers
• _Homeostatic defined as a relation in theory Layers
• _Material defined as a relation in theory Layers
• _Social defined as a relation in theory Layers

The following constants were used from theories not included:

• Actor-Of defined as a relation in theory Actors
• Anatomical-Structure defined as a class in theory Anatomy
• Animal defined as a class in theory Natural-Kinds
• Archaeon defined as a class in theory Natural-Kinds
• Bacterium defined as a class in theory Natural-Kinds
• Co-Occur defined as a relation in theory Unrestricted-Time
• Constitutive-Phase defined as a relation in theory Meronymy
• Conventional-Goal defined as a relation in theory Representation
• Conventional-Within defined as a relation in theory Assessment
• Duration-Value defined as a function in theory Unrestricted-Time
• Embodied-In defined as a relation in theory Actors
• Exactly-Located defined as a relation in theory Localization
• Fungus defined as a class in theory Natural-Kinds
• Incoherent defined as a class in theory Built-In-Theory
• Information defined as a class in theory Representation
• Instrument-Of defined as a relation in theory Actors
• Interacts-With defined as a relation in theory Actors
• Is-Region-Of defined as a relation in theory Localization
• Language defined as a class in theory Representation
• Located defined as a relation in theory Localization
• Mapping defined as a relation in theory Built-In-Theory
• Meets defined as a relation in theory Unrestricted-Time
• Notion defined as a class in theory Abstract-Objects
• Performed-By defined as a relation in theory Actors
• Plant defined as a class in theory Natural-Kinds
• Problem defined as a relation in theory Built-In-Theory
• Product-Of defined as a relation in theory Actors
• Region defined as a class in theory Localization
• Result-Of defined as a relation in theory Actors
• Rickettsia-Or-Chlamydia defined as a class in theory Natural-Kinds
• Submolecular-Object defined as a class in theory Physical-Concepts
• The-Archetype defined as a function in theory Built-In-Theory
• Virus defined as a class in theory Natural-Kinds
• _Conclusive defined as a relation in theory Assessment

All constants that were mentioned were defined.