|
|
   PositiveInteger
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PositiveInteger ChineseLanguage "这是一个大于零的 Integer。") | chinese_format.kif 1754-1754 | |
| (documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") | Merge.kif 1997-1997 | |
| (documentation PositiveInteger JapaneseLanguage "ゼロより大きい Integer 。") | japanese_format.kif 363-363 | |
| (subclass PositiveInteger NonnegativeInteger) | Merge.kif 1994-1994 | NumeroInteroPositivo è una sottoclasse di NumeroInteroNonNegativo |
| (subclass PositiveInteger PositiveRealNumber) | Merge.kif 1995-1995 | NumeroInteroPositivo è una sottoclasse di NumeroRealePositivo |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PositiveInteger "正整数") | chinese_format.kif 872-872 | |
| (termFormat EnglishLanguage PositiveInteger "positive integer") | english_format.kif 946-946 | |
| (termFormat FrenchLanguage PositiveInteger "nombre entier positif") | french_format.kif 548-548 | |
| (termFormat Hindi PositiveInteger "dhanaatmaka pUrNaanka") | terms-hindi.txt 78-78 | |
| (termFormat ItalianLanguage PositiveInteger "NumeroInteroPositivo") | terms-it.txt 81-81 | |
| (termFormat JapaneseLanguage PositiveInteger "正の整数") | japanese_format.kif 2233-2233 | |
| (termFormat PortugueseLanguage PositiveInteger "Inteiro positivo") | portuguese_format.kif 500-500 | |
| (termFormat cb PositiveInteger "makapaniguro tanan") | terms-cb.txt 83-83 | |
| (termFormat cz PositiveInteger "positive integer") | terms-cz.txt 115-115 | |
| (termFormat ro PositiveInteger "întreg pozitiv") | relations-ro.kif 569-569 | |
| (termFormat tg PositiveInteger "positibong numero") | terms-tg.txt 82-82 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
|
|
|