|
|
   NegativeInteger
|
|
|
| appearance as argument number 1 |
|
|
| (documentation NegativeInteger ChineseLanguage "这是一个小于零的 Integer 。") | chinese_format.kif 1753-1753 | |
| (documentation NegativeInteger EnglishLanguage "An Integer that is less than zero.") | Merge.kif 1988-1988 | |
| (documentation NegativeInteger JapaneseLanguage "ゼロ未満の Integer 。") | japanese_format.kif 362-362 | |
| (subclass NegativeInteger Integer) | Merge.kif 1985-1985 | Nombre entier n�gatif est une sous-classe de nombre entier |
| (subclass NegativeInteger NegativeRealNumber) | Merge.kif 1986-1986 | Nombre entier n�gatif est une sous-classe de nombre r�el n�gatif |
| appearance as argument number 2 |
|
|
| (partition Integer NegativeInteger NonnegativeInteger) | Merge.kif 1956-1956 | Nombre entier est compl�tement d�compos� en nombre entier n�gatif + nombre entier non n�gatif |
| (termFormat ChineseLanguage NegativeInteger "负整数") | chinese_format.kif 871-871 | |
| (termFormat EnglishLanguage NegativeInteger "negative integer") | english_format.kif 944-944 | |
| (termFormat FrenchLanguage NegativeInteger "nombre entier n�gatif") | french_format.kif 547-547 | |
| (termFormat Hindi NegativeInteger "Qnaatmaka pUrNaanka") | terms-hindi.txt 77-77 | |
| (termFormat ItalianLanguage NegativeInteger "NumeroInteroNegativo") | terms-it.txt 80-80 | |
| (termFormat JapaneseLanguage NegativeInteger "負の整数") | japanese_format.kif 2232-2232 | |
| (termFormat PortugueseLanguage NegativeInteger "Inteiro negativo") | portuguese_format.kif 499-499 | |
| (termFormat cz NegativeInteger "negative integer") | terms-cz.txt 114-114 | |
| (termFormat ro NegativeInteger "întreg negativ") | relations-ro.kif 568-568 | |
| (termFormat tg NegativeInteger "negatibong numero") | terms-tg.txt 81-81 |
| antecedent |
|
|
| (=> (instance ?X NegativeInteger) (greaterThan 0 ?X)) |
Merge.kif 1990-1992 |
|
|
|
|