Function SETOF

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.
Instance-Of: Function
Range: Simple-set

Axioms:

(Undefined (Arity Setof))

Other Related Axioms:

(Instance-Of (Arity Setof) Undefined)

(=> (Setof $X $Y) (Simple-Set $Y))

(= ?X (Setof))

(<=> (Empty ?X) (= ?X (Setof)))

Notes: