viewedItemList - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - viewedItemList

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 956-959
(domain viewedItemList 1 Agent)	UXExperimentalTerms.kif 950-950	The number 1 argument of list of viewed items is an instance of agent
(domain viewedItemList 2 List)	UXExperimentalTerms.kif 952-952	The number 2 argument of list of viewed items is an instance of list
(instance viewedItemList BinaryPredicate)	UXExperimentalTerms.kif 948-948	list of viewed items is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage viewedItemList "%2 是样品清单 viewed 由 %1 ")	domainEnglishFormat.kif 4931-4931
(format ChineseTraditionalLanguage viewedItemList "%2 是樣品清單 viewed 由 %1 ")	domainEnglishFormat.kif 4930-4930
(format EnglishLanguage viewedItemList "%2 is the list of items viewed by 1")	domainEnglishFormat.kif 4929-4929
(termFormat EnglishLanguage viewedItemList "list of viewed items")	UXExperimentalTerms.kif 954-954

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 961-971	If %2 is the list of items viewed by 1 and a process is a member of a list, then the process is an instance of AccessingWebPage and an agent is an agent of the process and there exists an entity such that the entity is an instance of WebPage and the process ends up at WebPage
(=> (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 973-987	If %2 is the list of items viewed by 1 and a physical is an instance of AccessingWebPage and the first of a list is equal to the physical, then there doesn't exist the physical2 such that the physical2 is an instance of AccessingWebPage and an agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical
(=> (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 989-1007	If %2 is the list of items viewed by 1 and a process is an instance of AccessingWebPage and another process is an instance of AccessingWebPage and an agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and the positive integerth element of a list is equal to the process and the other positive integerth element of the list is equal to the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners