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


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