Theory KIF-LISTS

• Last modified: Monday, 6 June 1994
• Source code: kif-lists.lisp
• List of all known theories

Theory documentation:

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

Cross Reference Report:

Theories included by Kif-Lists:

  Kif-Numbers

Theories that include Kif-Lists:

  Kif-Extensions
  Kif-Meta
  Kif-Relations

5 classes defined:

    List
       Double
       Null
       Single
       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

5 classes defined:

  Double
  List
  Null
  Single
  Triple

All constants that were mentioned were defined.