Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| viewedItemList |
| appearance as argument number 1 |
|
| (instance viewedItemList BinaryPredicate) | UXExperimentalTerms.kif 761-761 | list of viewed items is an instance of binary predicate |
| (domain viewedItemList 1 AutonomousAgent) | UXExperimentalTerms.kif 762-762 | The number 1 argument of list of viewed items is an instance of agent |
| (domain viewedItemList 2 List) | UXExperimentalTerms.kif 763-763 | The number 2 argument of list of viewed items is an instance of list |
| (documentation viewedItemList EnglishLanguage "(viewedItemList ?USER ?LIST) relates a List composed of AccessingWebPages in the order visited by ?USER, where each of the WebPages which are the destinations of those accessings is contains a WebListing. The most recent AccessingWebPage is at index 1") | UXExperimentalTerms.kif 766-769 | The number 2 argument of list of viewed items is an instance of list |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage viewedItemList "list of viewed items") | UXExperimentalTerms.kif 764-764 | |
| (format EnglishLanguage viewedItemList "%2 is the list of items viewed by %1") | domainEnglishFormat.kif 4926-4926 | |
| (format ChineseTraditionalLanguage viewedItemList "%2 是樣品清單 viewed 由 %1 ") | domainEnglishFormat.kif 4927-4927 | |
| (format ChineseLanguage viewedItemList "%2 是样品清单 viewed 由 %1 ") | domainEnglishFormat.kif 4928-4928 |
| antecedent |
|
|
| (=> (and (viewedItemList ?USER ?LIST) (inList ?ACCESSING ?LIST)) (and (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER) (exists (?DEST) (and (instance ?DEST WebPage) (destination ?ACCESSING WebPage))))) |
UXExperimentalTerms.kif 771-781 | If X is the list of items viewed by Y and Z is a member of X, then Z is an instance of accessing web page, Y is an agent of Z, and there exists W such that W is an instance of web page and Z ends up at web page |
| (=> (and (viewedItemList ?USER ?LIST) (instance ?ACCESSING AccessingWebPage) (equal (FirstFn ?LIST) ?ACCESSING)) (not (exists (?ACCESSING2) (and (instance ?ACCESSING2 AccessingWebPage) (agent ?ACCESSING2 ?USER) (earlier (WhenFn ?ACCESSING2) (WhenFn ?ACCESSING)))))) |
UXExperimentalTerms.kif 783-797 | If X is the list of items viewed by Y, Z is an instance of accessing web page, and equal the first of X and Z, then there doesn't exist W such that W is an instance of accessing web page, Y is an agent of W, and the time of existence of W happens earlier than the time of existence 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 |
|