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

KB Term:  Term intersection
English Word: 

Sigma KEE - SRPEngagementFn
SRPEngagementFn

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


(instance SRPEngagementFn UnaryFunction) UXExperimentalTerms.kif 3706-3706 SRP Engagement is an instance of unary function
(domain SRPEngagementFn 1 SearchResultsPage) UXExperimentalTerms.kif 3708-3708 The number 1 argument of SRP Engagement is an instance of search results page
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3710-3710 The range of SRP Engagement is an instance of real number
(documentation SRPEngagementFn EnglishLanguage "(SRPEngagementFn ?SRP) returns the number of RequestingHyperlinks from a SearchResultsPage where the destination is either ProductDescriptionPage or a ViewItemPage, over the number of SRPResults") UXExperimentalTerms.kif 3714-3716 The range of SRP Engagement is an instance of real number

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


(termFormat EnglishLanguage SRPEngagementFn "SRP Engagement") UXExperimentalTerms.kif 3712-3712
(format EnglishLanguage SRPEngagementFn "qualifying clicks on %1") domainEnglishFormat.kif 4600-4600
(format ChineseTraditionalLanguage SRPEngagementFn "qualifying clicks 在 %1 ") domainEnglishFormat.kif 4601-4601
(format ChineseLanguage SRPEngagementFn "qualifying clicks 在 %1 ") domainEnglishFormat.kif 4602-4602

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 3718-3736 If X is an instance of search results page, Y is an instance of search results, and Y is a component of X, then equal the number of instances in the class described by Z, length of Y, and qualifying clicks on 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners