Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ClickThroughRateFn
ClickThroughRateFn

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


(instance ClickThroughRateFn BinaryFunction) UXExperimentalTerms.kif 3318-3318 Click_through rate is an instance of binary function
(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 3320-3322 Click_through rate is an instance of binary function
(domain ClickThroughRateFn 1 Collection) UXExperimentalTerms.kif 3326-3326 The number 1 argument of click_through rate is an instance of collection
(domain ClickThroughRateFn 2 HypertextLink) UXExperimentalTerms.kif 3328-3328 The number 2 argument of click_through rate is an instance of hyperlink
(range ClickThroughRateFn RealNumber) UXExperimentalTerms.kif 3330-3330 The range of click_through rate is an instance of real number

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


(termFormat EnglishLanguage ClickThroughRateFn "click_through rate") UXExperimentalTerms.kif 3324-3324
(format EnglishLanguage ClickThroughRateFn "the rate of clicking through %2 in %1") domainEnglishFormat.kif 3004-3004
(format ChineseTraditionalLanguage ClickThroughRateFn "點擊通過 %2 的 rate 在 %1 ") domainEnglishFormat.kif 3005-3005
(format ChineseLanguage ClickThroughRateFn "点击通过 %2 的 rate 在 %1 ") domainEnglishFormat.kif 3006-3006

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 3332-3355 If X is an instance of collection, Y is an instance of hyperlink, and For all Physical Z: Z is a member of W and Z is an instance of accessing web page and W is a component of Y, then there exists V such that V is an instance of collection, U U is an instance of requesting hyperlink, Y is a patient of UU is a member of V, equal the rate of clicking through Y in X, the number of instances in V, and the number of instances in X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners