Function SETOF

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

Slots on this function:

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

Axioms:

(Undefined (Arity Setof))

Notes:

• Source: KIF Version 3.0 Specification