| 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 | |
| (subclass PositiveInteger PositiveRealNumber) | Merge.kif 1995-1995 |
| 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 |
|
|
| (=> (and (equal ?LIST3 (ListConcatenateFn ?LIST1 ?LIST2)) (not (equal ?LIST1 NullList)) (not (equal ?LIST2 NullList)) (lessThanOrEqualTo ?NUMBER1 (ListLengthFn ?LIST1)) (lessThanOrEqualTo ?NUMBER2 (ListLengthFn ?LIST2)) (instance ?NUMBER1 PositiveInteger) (instance ?NUMBER2 PositiveInteger)) (and (equal (ListOrderFn ?LIST3 ?NUMBER1) (ListOrderFn ?LIST1 ?NUMBER1)) (equal (ListOrderFn ?LIST3 (AdditionFn (ListLengthFn ?LIST1) ?NUMBER2)) (ListOrderFn ?LIST2 ?NUMBER2)))) |
Merge.kif 3084-3103 | |
| (=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING1 AccessingWebPage) (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING1 ?USER) (agent ?ACCESSING2 ?USER) (instance ?INDEX1 PositiveInteger) (instance ?INDEX2 PositiveInteger) (equal (ListOrderFn ?LIST ?INDEX1) ?ACCESSING1) (equal (ListOrderFn ?LIST ?INDEX2) ?ACCESSING2) (greaterThan ?INDEX1 ?INDEX2)) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING1))) |
UXExperimentalTerms.kif 799-817 | |
| (=> (instance ?X PositiveInteger) (greaterThan ?X 0)) |
Merge.kif 1999-2001 |
|
|
|