Theory KIF-META

• Last modified: Sunday, 10 July 1994
• Source code: kif-meta.lisp
• List of other 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
       Word
          Variable
             Indvar
             Seqvar
          Operator
             Termop
             Sentop
             Ruleop
             Defop
          Constant
             Funconst
             Relconst
             Objconst
       Sentence
          Logconst
          Relsent
             Equation
             Inequality
          Logsent
             Negation
             Conjunction
             Disjunction
             Implication
             Reverse-Implication
             Equivalence
          Quantsent
          Truth
          Analytic-Truth
    Term
       Variable ...
       Operator ...
       Constant ...
       Funterm
       Listterm
       Setterm
       Quoterm
       Logterm
       Quanterm

1 relation defined:

  Defining-Axiom

2 functions defined:

  Denotation
  Name

No instances defined.

The following constants were used from included theories:

• >= defined as a relation in theory Kif-Numbers
• Append defined as a function in theory Kif-Lists
• Cons defined as a function in theory Kif-Lists
• First defined as a function in theory Kif-Lists
• Item defined as a relation in theory Kif-Lists
• Length defined as a function in theory Kif-Lists
• List defined as a class in theory Kif-Lists

The following constants were used from theories not included:

• Alias defined as a relation in theory Frame-Ontology
• All-Instances defined as a function in theory Frame-Ontology
• 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
• Domain defined as a relation in theory Frame-Ontology
• Exhaustive-Subclass-Partition defined as a relation in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Range 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
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.