TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SearchResultsPage WebPage)	UXExperimentalTerms.kif 2524-2524	Search results page is a subclass of web page
(documentation SearchResultsPage EnglishLanguage "A WebPage which contains SRPResults as a component.")	UXExperimentalTerms.kif 2526-2527	Search results page is a subclass of web page

appearance as argument number 2

appearance as argument number 3

(domain SRPEngagementFn 1 SearchResultsPage)

antecedent

(=> (instance ?PAGE SearchResultsPage) (exists (?RESULTS) (and (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE))))	UXExperimentalTerms.kif 2531-2536	If X is an instance of search results page, then there exists Y such that Y is an instance of search results and Y is a component of X
(=> (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

consequent

(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (exists (?SRP)
        (and
            (instance ?SRP SearchResultsPage)
            (component ?RESULTS ?SRP))))

If X is a member of Y and Y is an instance of search results, then there exists Z such that Z is an instance of search results page and Y is a component of Z