| 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 1821-1822 | |
| (subclass RationalNumber RealNumber) | Merge.kif 1819-1819 | subclass RationalNumber and RealNumber |
| appearance as argument number 2 |
|
|
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1801-1801 | partition RealNumber, RationalNumber and IrrationalNumber |
| (range RationalNumberFn RationalNumber) | Merge.kif 4842-4842 | range RationalNumberFn and RationalNumber |
| (subclass Integer RationalNumber) | Merge.kif 1862-1862 | subclass Integer and RationalNumber |
| (termFormat ChineseLanguage RationalNumber "有理数") | chinese_format.kif 861-861 | |
| (termFormat EnglishLanguage RationalNumber "rational number") | english_format.kif 929-929 |
| appearance as argument number 3 |
|
|
| (domain contrastRatio 2 RationalNumber) | ComputingBrands.kif 3700-3700 | domain contrastRatio, 2 and RationalNumber |
|
|
|