Theory DEPENDENCE

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

Theory documentation:

Theories included by Dependence:

  Frame-Ontology
  Kif-Sets

Theories that include Dependence:

  Layers

No classes defined.

17 relations defined:

  Conceptually-Depends-On
  Fine-Properly-Depends-On
  Fine-Properly-Necessary-To
  Generically-Depends-On
  Has-Existence
  Has-Possibility
  Ontologically-Depends-On
  Predicatively-Depends-On
  Properly-Depends-On
  Properly-Necessary-To
  Rigidly-Depends-On
  Rigidly-Necessary-To
  Strictly-Depends-On
  Strictly-Necessary-To
  Strongly-Depends-On
  Strongly-Necessary-To
  _Contingent

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• 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
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Subrelation-Of defined as a relation in theory Frame-Ontology

The following constants were used from theories not included:

• Dependence-Property defined as a relation in theory Structuring-Concepts
• Dependence-Relation defined as a relation in theory Structuring-Concepts
• Different defined as a relation in theory Equality
• Entity defined as a class in theory Top-Level
• Extrinsic-Structuring-Relation defined as a relation in theory Structuring-Concepts
• Holds-True-2 defined as a relation in theory Built-In-Theory
• Meta-Thing defined as a class in theory Built-In-Theory
• Part-Of defined as a relation in theory Mereology
• True defined as a object in theory Built-In-Theory

All constants that were mentioned were defined.