Class UNBOUNDED

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

Slots on this class:

Documentation:

Something in the universe of discourse that can't be a member of a set. Paradoxical beasts go here.

Instance-Of: Class

Equivalence Axioms:

(<=> (Unbounded ?X) (Not (Bounded ?X)))

Axioms:

(Not (Bounded ?X))

Other Related Axioms:

(<=> (Unbounded ?X) (Not (Bounded ?X)))

Notes:

• Source: KIF Version 3.0 Specification

• It would seem that the extension of this relation is empty, since there can exist no set containing any unbounded things.