The KIF vocabulary for lists as defined in the KIF 3.0 specification.
Kif-Extensions Kif-Meta Kif-Relations
List Null Single Double Triple
Adjoin Append Butlast Cons First Last Length Listof Nth Nthrest Remove Rest Revappend Reverse Subst
The following constants were used from included theories:
The following constants were used from theories not included:
All constants that were mentioned were defined.