Q-expression-operator
SETOFINSTANCES
Defined in theory:
Dme-kb
No source file available.
Slots on this q-expression-operator:
Documentation
:
SetOfInstances ?????
Instance-Of
:
Q-expression-operator