Theory KIF-META

• Last modified: Sunday, 10 July 1994
• Source code: kif-meta.lisp
• List of all known theories

Theory documentation:

The KIF vocabulary for representing metalinguistic knowledge.

Cross Reference Report:

Theories included by Kif-Meta:

  Kif-Lists
  Kif-Sets

Theories that include Kif-Meta:

  Parametric-Constraints

36 classes defined:

    Expression
       Sentence
          Analytic-Truth
          Logconst
          Logsent
             Conjunction
             Disjunction
             Equivalence
             Implication
             Negation
             Reverse-Implication
          Quantsent
          Relsent
             Equation
             Inequality
          Truth
       Word
          Constant
             Funconst
             Objconst
             Relconst
          Operator
             Defop
             Ruleop
             Sentop
             Termop
          Variable
             Indvar
             Seqvar
    Term
       Constant ...
       Funterm
       Listterm
       Logterm
       Operator ...
       Quanterm
       Quoterm
       Setterm
       Variable ...

1 relation defined:

  Defining-Axiom

2 functions defined:

  Denotation
  Name

No instances defined.

36 classes defined:

  Analytic-Truth
  Conjunction
  Constant
  Defop
  Disjunction
  Equation
  Equivalence
  Expression
  Funconst
  Funterm
  Implication
  Indvar
  Inequality
  Listterm
  Logconst
  Logsent
  Logterm
  Negation
  Objconst
  Operator
  Quanterm
  Quantsent
  Quoterm
  Relconst
  Relsent
  Reverse-Implication
  Ruleop
  Sentence
  Sentop
  Seqvar
  Setterm
  Term
  Termop
  Truth
  Variable
  Word

All constants that were mentioned were defined.