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

**Documentation:**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

(Undefined (Arity Setof))

**Source:**KIF Version 3.0 Specification