viewedItemList |
appearance as argument number 1 |
(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 | |
(domain viewedItemList 1 AutonomousAgent) | UXExperimentalTerms.kif 762-762 | |
(domain viewedItemList 2 List) | UXExperimentalTerms.kif 763-763 | |
(instance viewedItemList BinaryPredicate) | UXExperimentalTerms.kif 761-761 |
appearance as argument number 2 |
(format ChineseLanguage viewedItemList "%2 是样品清单 viewed 由 %1 ") | domainEnglishFormat.kif 4922-4922 | |
(format ChineseTraditionalLanguage viewedItemList "%2 是樣品清單 viewed 由 %1 ") | domainEnglishFormat.kif 4921-4921 | |
(format EnglishLanguage viewedItemList "%2 is the list of items viewed by %1") | domainEnglishFormat.kif 4920-4920 | |
(termFormat EnglishLanguage viewedItemList "list of viewed items") | UXExperimentalTerms.kif 764-764 |
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 | |
(=> (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 | |
(=> (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 |