Theory KIF-LISTS

• Last modified: Monday, 10 March 1997
• Source code: kif-lists.lisp
• List of other known theories

Theory documentation:

The KIF vocabulary for lists as defined in the KIF 3.0 specification.

Theories included by Kif-Lists:

  Kif-Numbers

Theories that include Kif-Lists:

  Kif-Extensions
  Kif-Meta
  Kif-Relations

5 classes defined:

    List
       Null
       Single
       Double
       Triple

2 relations defined:

  Item
  Sublist

15 functions defined:

  Adjoin
  Append
  Butlast
  Cons
  First
  Last
  Length
  Listof
  Nth
  Nthrest
  Remove
  Rest
  Revappend
  Reverse
  Subst

1 instance defined:

  Nil

The following constants were used from included theories:

• 1+ defined as a function in theory Kif-Numbers
• 1- defined as a function in theory Kif-Numbers
• Natural defined as a class in theory Kif-Numbers
• Nonnegative-Integer defined as a class in theory Kif-Numbers
• Positive defined as a class in theory Kif-Numbers

The following constants were used from theories not included:

• Arity defined as a function in theory Frame-Ontology
• Bottom defined as a object in theory Kif-Relations
• 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
• Function defined as a class in theory Peak-Level
• Function defined as a class in theory Kif-Relations
• Nth-Domain defined as a relation in theory Frame-Ontology
• 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
• Undefined defined as a class in theory Kif-Extensions

All constants that were mentioned were defined.