ViewItemRequest
|
|
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 |
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 | |
(=> (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 |