| PositiveInteger | | عَدَد طَبِيعِي مُوجِب, 1, 10, 100, 1000, 10000, 100000, 1000000, 1000000000, 1000000000000, 11, 12, 120, 13, 14, 144, 15, 16, 17, 1728, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 3, 30, 4, 40, 5, 50, 500, 6, 60, 7, 70, 78, 8, 80, 9, 90, C, Captain_Hicks... |
| appearance as argument number 1 |
|
|
| s__documentation(s__PositiveInteger,s__ChineseLanguage,'这是一个大于零的 Integer。') | Merge.kif 2056-2056 | |
| s__documentation(s__PositiveInteger,s__EnglishLanguage,'An Integer that is greater than zero.')
|
Merge.kif 2055-2055 | |
| s__subclass(s__PositiveInteger,s__NonnegativeInteger)
|
Merge.kif 2053-2053 | |
| s__subclass(s__PositiveInteger,s__PositiveRealNumber)
|
Merge.kif 2054-2054 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__ChineseLanguage,s__PositiveInteger,'正整数')
|
chinese_format.kif 872-872 | |
| s__termFormat(s__EnglishLanguage,s__PositiveInteger,'positive integer')
|
english_format.kif 559-559 | |
| s__termFormat(s__FrenchLanguage,s__PositiveInteger,'nombre entier positif')
|
french_format.kif 548-548 | |
| s__termFormat(s__Hindi,s__PositiveInteger,'dhanaatmaka pUrNaanka')
|
terms-hindi.txt 78-78 | |
| s__termFormat(s__ItalianLanguage,s__PositiveInteger,'NumeroInteroPositivo')
|
terms-it.txt 79-79 | |
| s__termFormat(s__PortugueseLanguage,s__PositiveInteger,'Inteiro positivo')
|
portuguese_format.kif 500-500 | |
| s__termFormat(s__ar__m,s__PositiveInteger,'عَدَد طَبِيعِي مُوجِب')
|
arabic_format.kif 284-284 | |
| s__termFormat(s__cb__m,s__PositiveInteger,'makapaniguro tanan')
|
terms-cb.txt 83-83 | |
| s__termFormat(s__cz__m,s__PositiveInteger,'positive integer')
|
terms-cz.txt 115-115 | |
| s__termFormat(s__tg__m,s__PositiveInteger,'positibong numero')
|
terms-tg.txt 82-82 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ( ! [V__USER,V__LIST,V__ACCESSING1,V__ACCESSING2,V__INDEX1,V__INDEX2] : ((s__viewedItemList(V__USER,V__LIST) & s__instance(V__ACCESSING1,s__AccessingWebPage) & s__instance(V__ACCESSING2,s__AccessingWebPage) & s__instance(V__INDEX1,s__PositiveInteger) & s__instance(V__INDEX2,s__PositiveInteger) & (s__ListOrderFn(V__LIST,V__INDEX1) = V__ACCESSING1) & (s__ListOrderFn(V__LIST,V__INDEX2) = V__ACCESSING2) & s__greaterThan(V__INDEX1,V__INDEX2)) => s__earlier(s__WhenFn(V__ACCESSING2) ,s__WhenFn(V__ACCESSING1))) )
|
UXExperimentalTerms.kif 989-1005 | |
| ( ! [V__X] : (s__instance(V__X,s__PositiveInteger) => s__greaterThan(V__X,0)) )
|
Merge.kif 2058-2060 |
|
|
|