**Defined in theory: Kif-meta****Source code: kif-meta.lisp**

**Documentation:**A sequence variable in a KIF expression. For every sequence variable $omega$, there is an axiom asserting that it is a sequence variable. Each such axiom is a defining axiom for the {tt seqvar} relation.

**Subclass-Of:**Variable