Class RATIONAL-NUMBER

the class of integers.

Subclass-Of: Number

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp
• Also defined in: Kif-numbers