|
|
   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 1853-1854 | |
| (subclass RationalNumber RealNumber) | Merge.kif 1851-1851 |
| appearance as argument number 2 |
|
|
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1833-1833 | |
| (range RationalNumberFn RationalNumber) | Merge.kif 4959-4959 | |
| (subclass Integer RationalNumber) | Merge.kif 1894-1894 | |
| (termFormat ChineseLanguage RationalNumber "有理数") | chinese_format.kif 861-861 | |
| (termFormat EnglishLanguage RationalNumber "rational number") | english_format.kif 924-924 |
| consequent |
|
|
| (=> (and (inList ?E ?L) (equal ?L (AmountsFn ?S ?CO ?U))) (instance ?E RationalNumber)) |
Merge.kif 7486-7491 |
|
|
|