Class SIMPLE-SET

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

Slots on this class:

Documentation:

A simple set is a set that can be a member of another set.

Subclass-Of: Bounded, Set, Thing

Axioms:

(<=> (Simple-Set ?X) (And (Set ?X) (Bounded ?X)))

Notes:

• The constraint that simple-set is a subclass-of thing is specified as part of the definition of THING, but it needs to be here, too, for bootstrapping reasons.
• Source: KIF Version 3.0 Specification