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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RequestingHyperlink

Sigma KEE - RequestingHyperlink
RequestingHyperlink

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


(documentation RequestingHyperlink EnglishLanguage "A UserSignifiedAction instructing a ComputerProgram to follow the currently active HypertextLink.") ComputerInput.kif 2232-2233
(subclass RequestingHyperlink SelectingActiveArea) ComputerInput.kif 2231-2231 RequestingHyperlinkSelectingActiveAreasubclass

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


(termFormat EnglishLanguage RequestingHyperlink "requesting hyperlink") domainEnglishFormat.kif 65410-65410

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 3721-3739
(=>
    (and
        (instance ?SELECT SelectingActiveArea)
        (patient ?SELECT ?ELEMENT)
        (instance ?ELEMENT HypertextLink))
    (instance ?SELECT RequestingHyperlink))
ComputerInput.kif 2235-2240
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?HYPERLINK HypertextLink)
        (forall (?ACCESSING)
            (and
                (member ?ACCESSING ?PAGE)
                (and
                    (instance ?ACCESSING AccessingWebPage)
                    (component ?PAGE ?HYPERLINK)))))
    (exists (?CLICKS)
        (and
            (instance ?CLICKS Collection)
            (forall (?CLICK)
                (=>
                    (and
                        (instance ?CLICK RequestingHyperlink)
                        (patient ?CLICK ?HYPERLINK))
                    (member ?CLICK ?CLICKS)))
            (equal
                (ClickThroughRateFn ?VISITS ?HYPERLINK)
                (DivisionFn
                    (CardinalityFn ?CLICKS)
                    (CardinalityFn ?VISITS))))))
UXExperimentalTerms.kif 3333-3356
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners