SearchResultsPage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SearchResultsPage EnglishLanguage "A WebPage which contains SRPResults as a component.")	UXExperimentalTerms.kif 2525-2526
(subclass SearchResultsPage WebPage)	UXExperimentalTerms.kif 2523-2523	SearchResultsPage e' uma sub-classe de WebPage

appearance as argument number 2

UXExperimentalTerms.kif 2528-2528

appearance as argument number 3

(domain SRPEngagementFn 1 SearchResultsPage)

UXExperimentalTerms.kif 3711-3711

antecedent

(=> (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 3721-3739	SearchResultsPage e' uma instancia de SearchResultsPage Lista e' uma instancia de SRPResults Lista e' um componente de SearchResultsPage o numero de instancias dentro de a classe descrita por Sequencia Simbolica + comprimento de Lista e' igual a SRPEngagementFn SearchResultsPage
(=> (instance ?PAGE SearchResultsPage) (exists (?RESULTS) (and (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE))))	UXExperimentalTerms.kif 2530-2535	Objeto Corpuscular e' uma instancia de SearchResultsPage Objeto Corpuscular Objeto Corpuscular e' uma instancia de SRPResults Objeto Corpuscular e' um componente de Objeto Corpuscular

consequent

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

UXExperimentalTerms.kif 2491-2498