| PositiveInteger(positive integer) | | 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, D... |
| appearance as argument number 1 |
|
|
| (subclass PositiveInteger NonnegativeInteger) | Merge.kif 2029-2029 | Positive integer is a subclass of nonnegative integer |
| (subclass PositiveInteger PositiveRealNumber) | Merge.kif 2030-2030 | Positive integer is a subclass of positive real number |
| (documentation PositiveInteger EnglishLanguage "An Integer that is greater than zero.") | Merge.kif 2032-2032 | Positive integer is a subclass of positive real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PositiveInteger "positive integer") | english_format.kif 946-946 |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (instance ?X PositiveInteger) (greaterThan ?X 0)) |
Merge.kif 2034-2036 | If X is an instance of positive integer, then X is greater than 0 |
| (=> (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 3120-3139 | If All of the following hold: (1) equal X, the list composed of Y, and Z (2) equal Y and null list (3) equal Z and null list (4) W is less than or equal to length of Y (5) V is less than or equal to length of Z (6) W is an instance of positive integer (7) V is an instance of positive integer, then equal U element of X and U element of Y and equal (length of Y and V)th element of X and T element of Z |
| (=> (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 | If All of the following hold: (1) X is the list of items viewed by Y (2) Z is an instance of accessing web page (3) W is an instance of accessing web page (4) Y is an agent of Z (5) Y is an agent of W (6) V is an instance of positive integer (7) U is an instance of positive integer (8) equal T element of X and Z (9) equal S element of X and W (10) V is greater than U, then the time of existence of W happens earlier than the time of existence of Z |
|
|
|