Class SETTERM

KIF set term expression

Subclass-Of: List, Term

Axioms:

(<=> (Setterm ?Expr)
     (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Setof)))

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