Function SETOF

• Defined in theory: Dme-kb
• Source code: q-operator-definitions.lisp
• Also defined in: Kif-sets

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.

and also:

SetOf is a mapping q-operator for generating a set of q-expression terms

for other operators like All-Q=.

Eg: (SetOf TERM (Device-12 terminals) (TERM voltage))

would represent the set of q-expressions representing the voltages of

each terminal of Device-12.

Instance-Of: Function, Q-mapping-operator

Range: Simple-set

Axioms:

(Undefined (Arity Setof))

(Undefined (Arity Setof))

(Undefined (Arity Setof))