Theory ASSESSMENT

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

Theory documentation:

Theories included by Assessment:

  Top-Level

Theories that include Assessment:

  Biologic-Functions
  Representation
  Topics

No classes defined.

42 relations defined:

  Absent-In
  Approved-By
  Approves
  Certified-By
  Certifies
  Competes-With
  Conventional-Within
  Conventionally-Associated
  Evidentiated-By
  Evidentiates
  Excluded-By
  Excludes
  Expected-For
  Expects
  Has-Absence
  Has-Competitor
  Has-Issue
  Has-Presence
  Has-Unexpected-Situation
  Issue-In
  Made-Likely-By
  Makes-Likely
  Measured-By
  Measures
  Present-In
  Relevance-Domain-Of
  Relevant-For
  Reported-By
  Reports
  The-Conventional-Domain
  Time-Of-Catching-Of
  Time-Of-Happening-Of
  Unexpected
  _Aborted
  _Concluded
  _Conclusive
  _Formal
  _Fulfilled
  _Informal
  _Integral
  _Interrupted
  _Structured

4 functions defined:

  Caught-At
  Happens-At
  The-Expectation-Of
  The-Expected

No instances defined.

The following constants were used from included theories:

• *Agent defined as a class in theory Top-Level
• Activity defined as a class in theory Top-Level
• Arity defined as a function in theory Frame-Ontology
• Assessment-Relation defined as a relation in theory Structuring-Concepts
• Context defined as a relation in theory Top-Level
• Context-Of defined as a relation in theory Top-Level
• 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
• Entity defined as a class in theory Top-Level
• Function defined as a class in theory Kif-Relations
• Has-Existence defined as a relation in theory Dependence
• Identity defined as a function in theory Kif-Extensions
• Inverse defined as a function in theory Kif-Relations
• Logical-Property defined as a relation in theory Structuring-Concepts
• Nth-Domain defined as a relation in theory Frame-Ontology
• Probability-Relation defined as a relation in theory Structuring-Concepts
• Process defined as a class in theory Top-Level
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Situation defined as a class in theory Top-Level
• Social-Object defined as a class in theory Top-Level
• Structuring-Ternary defined as a relation in theory Structuring-Concepts
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Temporalized-Entity defined as a class in theory Top-Level
• Ternary defined as a class in theory Metaontology
• Topic defined as a class in theory Top-Level
• Typicality-Property defined as a relation in theory Structuring-Concepts
• Typicality-Relation defined as a relation in theory Structuring-Concepts

The following constants were used from theories not included:

• Aware-Of defined as a relation in theory Representation
• Evaluates defined as a relation in theory Representation
• Located defined as a relation in theory Localization
• Mapping defined as a relation in theory Built-In-Theory
• Outcome-Of defined as a relation in theory Actors
• Part-Of defined as a relation in theory Mereology
• Reference-Location defined as a relation in theory Localization
• Text defined as a class in theory Representation
• The-Time-Unit defined as a function in theory Units
• Time-Value defined as a function in theory Unrestricted-Time
• True defined as a object in theory Built-In-Theory
• _Actual defined as a relation in theory Granularity
• _Epistemic defined as a relation in theory Granularity

All constants that were mentioned were defined.