Class
NUMBER
Number
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp