Theory METAONTOLOGY

• Last modified: Sunday, 24 December 2000
• Source code: Metaontology.lisp
• List of other known theories

Theory documentation:

Theories included by Metaontology:

  Frame-Ontology
  Kif-Sets

Theories that include Metaontology:

  Structuring-Concepts

8 classes defined:

    Meta-Level-Category
       Structural-Concept
          Category
          Reified-Property
             Reified-Role
          Type
       Structuring-Concept
    Ternary

No relations defined.

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Identity defined as a function in theory Kif-Extensions
• Instance-Of defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Subclass-Of defined as a relation in theory Frame-Ontology
• Unary-Relation defined as a class in theory Kif-Relations
• Value-Type defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Actantial-Relation defined as a relation in theory Structuring-Concepts
• Archetype defined as a relation in theory Built-In-Theory
• Conceptually-Different defined as a relation in theory Equality
• Context-Of defined as a relation in theory Top-Level
• Different defined as a relation in theory Equality
• Entity defined as a class in theory Top-Level
• Follows defined as a relation in theory Unrestricted-Time
• Holds-At defined as a relation in theory Built-In-Theory
• Holds-True-3 defined as a relation in theory Built-In-Theory
• Incoherent defined as a class in theory Built-In-Theory
• Isa defined as a relation in theory Built-In-Theory
• Part-Of defined as a relation in theory Mereology
• Property defined as a class in theory Built-In-Theory
• Situation defined as a class in theory Top-Level
• Superrelations defined as a relation in theory Built-In-Theory
• The-Archetype defined as a function in theory Built-In-Theory

All constants that were mentioned were defined.