SearchResultsPage - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SearchResultsPage WebPage)	UXExperimentalTerms.kif 2523-2523	Search results page is a subclass of web page
(documentation SearchResultsPage EnglishLanguage "A WebPage which contains SRPResults as a component.")	UXExperimentalTerms.kif 2525-2526	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 2530-2535	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 3720-3738	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