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 1552-1555
(subclass ViewItemRequest UserSignifiedAction)	UXExperimentalTerms.kif 1550-1550	View item request is a subclass of user signified action

appearance as argument number 2

(termFormat EnglishLanguage ViewItemRequest "view item request")

UXExperimentalTerms.kif 1557-1557

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 1570-1581	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 1559-1568	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