Class
INTEGER
Integer
Subclass-Of
:
Rational-number
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp