Class
PROPER-SET
A proper set is a set that cannot be a member of another set.
Subclass-Of
:
Set
Defined in theory:
Kif-sets
Source code:
kif-sets.lisp