ViewItemRequest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ViewItemRequest

ViewItemRequest(view item request)

appearance as argument number 1

(documentation ViewItemRequest EnglishLanguage "A UserSignifiedAction with the subProcess of RequestingHyperLink, where the RequestingHyperlink causes the the AccessingWebPage, and the WebPage being accessed is a ViewItemPage. If ?AGENT views ?LISTING as part of a ViewItemRequest, then (viewedListing ?AGENT ?LISTING) holds.")	UXExperimentalTerms.kif 1560-1563
(subclass ViewItemRequest UserSignifiedAction)	UXExperimentalTerms.kif 1558-1558	View item request is a subclass of user signified action

appearance as argument number 2

(termFormat EnglishLanguage ViewItemRequest "view item request")

UXExperimentalTerms.kif 1565-1565

antecedent

(=> (and (instance ?REQUEST ViewItemRequest) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE ViewItemPage) (instance ?AGENT AutonomousAgent) (instance ?LISTING Advertising) (subProcess ?ACCESSING ?REQUEST) (component ?PAGE ?LISTING) (destination ?ACCESSING ?PAGE) (agent ?ACCESSING ?AGENT)) (viewedListing ?AGENT ?LISTING))	UXExperimentalTerms.kif 1578-1589	If a process is an instance of view item request and another process is an instance of accessing web page and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
(=> (instance ?REQUEST ViewItemRequest) (exists (?CLICK ?ACCESSING ?PAGE) (and (instance ?CLICK RequestingHyperlink) (instance ?PAGE ViewItemPage) (instance ?ACCESSING AccessingWebPage) (causes ?CLICK ?ACCESSING) (destination ?ACCESSING ?PAGE) (subProcess ?CLICK ?REQUEST))))	UXExperimentalTerms.kif 1567-1576	If a process is an instance of view item request, then there exist another process, a third process and an entity such that the other process is an instance of requesting hyperlink and the entity is an instance of next generation view item and the third process is an instance of accessing web page and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess 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