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 766-769
(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
(instance viewedItemList BinaryPredicate)	UXExperimentalTerms.kif 761-761	list of viewed items is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage viewedItemList "%2 是样品清单 viewed 由 %1 ")	domainEnglishFormat.kif 4928-4928
(format ChineseTraditionalLanguage viewedItemList "%2 是樣品清單 viewed 由 %1 ")	domainEnglishFormat.kif 4927-4927
(format EnglishLanguage viewedItemList "%2 is the list of items viewed by %1")	domainEnglishFormat.kif 4926-4926
(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	If a list is the list of items viewed by an agent and a process is a member of the list, then the process is an instance of accessing web page and the agent is an agent of the process and there exists an entity such that the entity is an instance of web page and the process 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 a list is the list of items viewed by an agent and a physical is an instance of accessing web page and the first of the list is equal to the physical, then there doesn't exist the physical2 such that the physical2 is an instance of accessing web page and the 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 799-817	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the 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 the 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