|
|
   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 1913-1914 | |
| (documentation RationalNumber JapaneseLanguage "2つのINTを分割した製品である任意の RealNumber。") | japanese_format.kif 349-350 | |
| (subclass RationalNumber RealNumber) | Merge.kif 1911-1911 | Nombre rationnel est une sous-classe de nombre r�el |
| appearance as argument number 2 |
|
|
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1893-1893 | Nombre r�el est compl�tement d�compos� en nombre rationnel + nombre irrationnel |
| (range RationalNumberFn RationalNumber) | Merge.kif 5056-5056 | Le domaine de RationalNumberFn est une instance de nombre rationnel |
| (subclass Integer RationalNumber) | Merge.kif 1954-1954 | Nombre entier est une sous-classe de nombre rationnel |
| (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 ro RationalNumber "numãr raþional") | relations-ro.kif 558-558 | |
| (termFormat tg RationalNumber "proporsiyong numero") | terms-tg.txt 71-71 |
| consequent |
|
|
| (=> (and (inList ?E ?L) (equal ?L (AmountsFn ?S ?CO ?U))) (instance ?E RationalNumber)) |
Merge.kif 7583-7588 |
|
|
|
|