Class
REAL-NUMBER
Real number
Subclass-Of
:
Number
Defined in theory:
Kif-numbers
Source code:
kif-numbers.lisp