Slots on this class:
Something in the universe of discourse that can't be a member of a set.
Paradoxical beasts go here.
(<=> (Unbounded ?X) (Not (Bounded ?X)))
- 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.