Theory REPRESENTATION

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

Theory documentation:

Theories included by Representation:

  Actors
  Assessment
  Granularity

Theories that include Representation:

  Diagrams
  Medical-Procedures
  Molecular-Biology
  Quantities
  Social-Objects
  Web-Notions

31 classes defined:

    *Sign
    Information
       Document
          Term-List
             Classification
          Text
             Free-Text
             Medical-Record
             Narrative
                Script
                   Protocol
             Report
             Statement
             Theory
          Visual-Document
             Image
             Map
       Expression
          Icon
          Linguistic-Expression
             Morpheme
             Phrase
                Term
             Sentence
             Word
       Software-Program
    Language
       Formal-Language
       Natural-Language
    Symbolic-String
       Citation

49 relations defined:

  Adaptation-Of
  Adapted-From
  Aimed-At-By
  Aims-At
  Analogically-Represented-By
  Analogically-Represents
  Aware-Of
  Based-On
  Bases
  Believed-By
  Believes
  Bibliographic-Reference
  Bibliographic-Reference-Of
  Conventional-Goal
  Conventional-Goal-Of
  Copy
  Copy-Of
  Description
  Description-Of
  Evaluated-By
  Evaluates
  Evaluation-Of
  Extrinsically-Represented-By
  Extrinsically-Represents
  Format
  Format-Of
  Goal
  Goal-Of
  Indicated-By
  Indicates
  Interpretant
  Interpretant-Of
  Interpreted-By
  Interprets
  Inverse-Of-Textual-Relation
  Judgment-Of
  Manifestation
  Manifestation-Of
  Processed-By
  Processes
  Reference-Of
  Represented-By
  Represents
  Symbolic-Part
  Symbolic-Part-Of
  Textual-Relation
  Title
  Title-Of
  Version-Of

3 functions defined:

  Evaluation
  Judgment
  Version

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
• Alias defined as a relation in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Conceptually-Depends-On defined as a relation in theory Dependence
• Context-Of defined as a relation in theory Top-Level
• Conventional-Within defined as a relation in theory Assessment
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Entity defined as a class in theory Top-Level
• Equal-But-Localization defined as a relation in theory Equality
• Extrinsic-Structuring-Relation defined as a relation in theory Structuring-Concepts
• From-Actor defined as a relation in theory Actors
• From-Actor-Of defined as a relation in theory Actors
• Function defined as a class in theory Kif-Relations
• Instrument defined as a relation in theory Actors
• Instrument-Of defined as a relation in theory Actors
• Inverse defined as a function in theory Kif-Relations
• Inverse-Of-Representation-Relation defined as a relation in theory Structuring-Concepts
• Mediated-By defined as a relation in theory Actors
• Method-Of defined as a relation in theory Actors
• Minimum-Slot-Cardinality defined as a relation in theory Frame-Ontology
• Object defined as a class in theory Top-Level
• Occurrent defined as a class in theory Top-Level
• Organism defined as a class in theory Top-Level
• Performed-By defined as a relation in theory Actors
• Performs defined as a relation in theory Actors
• Procedure defined as a class in theory Top-Level
• Process defined as a class in theory Top-Level
• Pseudo-Actor defined as a relation in theory Actors
• Pseudo-Actor-Of defined as a relation in theory Actors
• Range defined as a relation in theory Frame-Ontology
• Reified-Property defined as a class in theory Metaontology
• Relation defined as a class in theory Kif-Relations
• Representation-Relation defined as a relation in theory Structuring-Concepts
• Same-Granularity defined as a relation in theory Layers
• Situation defined as a class in theory Top-Level
• Strictly-Depends-On defined as a relation in theory Dependence
• String defined as a class in theory Kif-Extensions
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Temporalized-Entity defined as a class in theory Top-Level
• Thing defined as a class in theory Frame-Ontology
• Topic defined as a class in theory Top-Level
• Type defined as a class in theory Metaontology
• Used-By defined as a relation in theory Actors
• 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
• _Formal defined as a relation in theory Assessment
• _Informal defined as a relation in theory Assessment
• _Intentional defined as a relation in theory Granularity
• _Structured defined as a relation in theory Assessment

The following constants were used from theories not included:

• Character defined as a class in theory Built-In-Theory
• Constant defined as a class in theory Built-In-Theory
• Constant defined as a class in theory Kif-Meta
• Incoherent defined as a class in theory Built-In-Theory
• Machine-Activity defined as a class in theory Artifacts
• Mapping defined as a relation in theory Built-In-Theory
• Part defined as a relation in theory Mereology
• Serial-Value defined as a function in theory Quantities
• The-Archetype defined as a function in theory Built-In-Theory
• True defined as a object in theory Built-In-Theory
• Usn-Documentation defined as a relation in theory Built-In-Theory
• _List defined as a relation in theory Morphology

All constants that were mentioned were defined.

The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic:

• Map defined in Kif-Relations