Class
LIST
A list is a sequence --- an ordered bag --- of elements. It is KIF primitive.
Defined in theory:
Kif-lists
Source code:
kif-lists.lisp