Instance AXIOM-OF-REGULARITY

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

Slots on this instance:

Documentation:

every non-empty set has an element with which it has no members in common.

Notes:

• Source: KIF Version 3.0 Specification