Class SETTERM

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

Slots on this class:

Documentation:

KIF set term expression

Subclass-Of: List, Term

Axioms:

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