ViewItemRequest - Sigma Knowledge base Browser

appearance as argument number 2

antecedent

(=> (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 X is an instance of view item request, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of requesting hyperlink (3) W is an instance of next generation view item (4) Z is an instance of accessing web page (5) Y causes Z (6) Z ends up at W (7) Y is a subprocess of X
(=> (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 All of the following hold: (1) X is an instance of view item request (2) Y is an instance of accessing web page (3) Z is an instance of next generation view item (4) W is an instance of agent (5) V is an instance of advertising (6) Y is a subprocess of X (7) Z is a component of V (8) Y ends up at Z (9) W is an agent of Y, then W viewed V

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