PositiveInteger(Inteiro positivo) |
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 | Inteiro positivo e' uma sub-classe de Numero Inteiro nao-negativo |
(subclass PositiveInteger PositiveRealNumber) | Merge.kif 1995-1995 | Inteiro positivo e' uma sub-classe de Numero Real positivo |
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 |