Function SETOF

SETOF is the set constructor function for KIF. It takes any finite number of arguments and denotes the set of those things.

Range: Simple-set

Axioms:

(Undefined (Arity Setof))

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