Class ZERO

The class containing 0. May be used as a predicate.

All-Instances: {0}

Axioms:

(<=> (Zero ?X) (= ?X 0))

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