Class ZERO


Slots on this class:

Documentation:
The class containing 0. May be used as a predicate.
All-Instances: {0}

Axioms:

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