Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ViewItemPage

Sigma KEE - ViewItemPage
ViewItemPage(next generation view item)next_generation_view_item

appearance as argument number 1
-------------------------


(documentation ViewItemPage EnglishLanguage "A WebPage which contains a WebListing and description of the patient of the listing.") UXExperimentalTerms.kif 2266-2267
(subclass ViewItemPage WebPage) UXExperimentalTerms.kif 2264-2264 Next generation view item is a subclass of WebPage

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ViewItemPage "next generation view item") UXExperimentalTerms.kif 2269-2269 "next generation view item" is the printable form of next generation view item in english language

antecedent
-------------------------


(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?ADVERTISING WebListing)
        (component ?ADVERTISING ?PAGE)
        (patient ?ADVERTISING ?ITEM)
        (instance ?ITEM Physical))
    (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?ITEM)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2284-2297
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?SITE WebSite)
        (component ?PAGE ?SITE))
    (exists (?ITEM ?ADVERTISING)
        (and
            (instance ?ITEM Object)
            (instance ?ADVERTISING WebListing)
            (component ?ADVERTISING ?PAGE)
            (hostedOn ?ADVERTISING ?SITE)
            (patient ?ADVERTISING ?ITEM))))
UXExperimentalTerms.kif 2271-2282
(=>
    (and
        (instance ?REQUEST ViewItemRequest)
        (instance ?ACCESSING Instance)
        (instance ?PAGE ViewItemPage)
        (instance ?AGENT Agent)
        (instance ?LISTING Advertising)
        (component ?PAGE ?LISTING)
        (destination ?ACESSING ?PAGE)
        (agent ?ACCESSING ?AGENT))
    (viewedListing ?AGENT ?LISTING))
UXExperimentalTerms.kif 1777-1787

consequent
-------------------------


(=>
    (and
        (instance ?PAGE SearchResultsPage)
        (instance ?RESULTS SRPResults)
        (component ?RESULTS ?PAGE))
    (equal
        (DivisionFn
            (CardinalityFn
                (KappaFn ?CLICK
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?ELEMENT)
                        (destination ?CLICK ?LINKEDPAGE)
                        (instance ?ELEMENT HypertextLink)
                        (component ?ELEMENT ?PAGE)
                        (or
                            (instance ?LINKEDPAGE ProductDescriptionPage)
                            (instance ?LINKEDPAGE ViewItemPage)))))
            (ListLengthFn ?RESULTS))
        (SRPEngagementFn ?PAGE)))
UXExperimentalTerms.kif 3916-3934
(=>
    (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 1766-1775


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners