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.
All-Instances
:
{
0
}
Axioms:
(<=> (
Zero
?X) (
=
?X 0))