Class EMPTY

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

Slots on this class:

Documentation: True of the empty set.

Instance-Of: Class

Has-Instance:

(Intersection @Sets)

Equivalence Axioms:

(<=> (Empty ?X) (= ?X (Setof)))

Axioms:

(= ?X (Setof))

Notes:

• Source: KIF Version 3.0 Specification