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