Class PROPER-SET

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

Slots on this class:

Documentation:

A proper set is a set that cannot be a member of another set.

Subclass-Of: Set

Notes:

• Source: KIF Version 3.0 Specification