Class LISTTERM

KIF list term expression

Subclass-Of: List, Term

Axioms:

(<=> (Listterm ?Expr)
     (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Listof)))

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