| RationalNumber | |
| appearance as argument number 1 |
|
|
| (documentation RationalNumber ChineseLanguage "这是把两个 Integer 相除的商，它可以是任何一个的 RealNumber。") | chinese_format.kif 1741-1742 | |
| (documentation RationalNumber EnglishLanguage "Any RealNumber that is the product of dividing two Integers.") | Merge.kif 1909-1910 | |
| (documentation RationalNumber JapaneseLanguage "2つのINTを分割した製品である任意の RealNumber。") | japanese_format.kif 349-350 | |
| (subclass RationalNumber RealNumber) | Merge.kif 1907-1907 |
| appearance as argument number 2 |
|
|
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1889-1889 | |
| (range RationalNumberFn RationalNumber) | Merge.kif 5068-5068 | |
| (subclass Integer RationalNumber) | Merge.kif 1950-1950 | |
| (termFormat ChineseLanguage RationalNumber "有理数") | chinese_format.kif 861-861 | |
| (termFormat EnglishLanguage RationalNumber "rational number") | english_format.kif 924-924 | |
| (termFormat FrenchLanguage RationalNumber "nombre rationnel") | french_format.kif 537-537 | |
| (termFormat Hindi RationalNumber "parimeya anka") | terms-hindi.txt 67-67 | |
| (termFormat ItalianLanguage RationalNumber "NumeroRazionale") | terms-it.txt 70-70 | |
| (termFormat JapaneseLanguage RationalNumber "有理数") | japanese_format.kif 2222-2222 | |
| (termFormat PortugueseLanguage RationalNumber "Numero Racional") | portuguese_format.kif 489-489 | |
| (termFormat cz RationalNumber "rational number") | terms-cz.txt 104-104 | |
| (termFormat de RationalNumber "rationale Zahl") | terms-de.txt 363-363 | |
| (termFormat ro RationalNumber "numãr raþional") | relations-ro.kif 558-558 | |
| (termFormat tg RationalNumber "proporsiyong numero") | terms-tg.txt 71-71 |
|
|
|