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	Search results page is a subclass of web page

appearance as argument number 2

(termFormat EnglishLanguage SearchResultsPage "search results page")

UXExperimentalTerms.kif 2528-2528

appearance as argument number 3

(domain SRPEngagementFn 1 SearchResultsPage)

UXExperimentalTerms.kif 3711-3711

The number 1 argument of SRP Engagement is an instance of search results page

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	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
(=> (instance ?PAGE SearchResultsPage) (exists (?RESULTS) (and (instance ?RESULTS SRPResults) (component ?RESULTS ?PAGE))))	UXExperimentalTerms.kif 2530-2535	If a corpuscular object is an instance of search results page, then there exists another corpuscular object such that the other corpuscular object is an instance of search results and the other corpuscular object is a component of the corpuscular object

consequent

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

UXExperimentalTerms.kif 2491-2498

If an entity is a member of a list and the list is an instance of search results,
then there exists a corpuscular object such that the corpuscular object is an instance of search results page and the list is a component of the corpuscular object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: