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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClickThroughRateFn

Sigma KEE - ClickThroughRateFn
ClickThroughRateFn

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


(documentation ClickThroughRateFn EnglishLanguage "(clickThroughRateFn ?VISITS ?HYPERLINK) returns the RealNumber that represents the number of times users click ?HYPERLINK divided by the number of AccessingWebPages in ?VISITS") UXExperimentalTerms.kif 3515-3517
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3521-3521
(domain ClickThroughRateFn 2 HypertextLink) UXExperimentalTerms.kif 3523-3523
(instance ClickThroughRateFn BinaryFunction) UXExperimentalTerms.kif 3513-3513
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3525-3525

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


(format EnglishLanguage ClickThroughRateFn "the rate of clicking through %2 in %1") domainEnglishFormat.kif 762-762
(termFormat EnglishLanguage ClickThroughRateFn "click-through rate") UXExperimentalTerms.kif 3519-3519

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


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


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