Class ZERO

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

Slots on this class:

Documentation:

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

Instance-Of: Class

All-Instances: {0}

Equivalence Axioms:

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

Axioms:

(= ?X 0)

Other Related Axioms:

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