Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SRPResults

Sigma KEE - SRPResults
SRPResults(search results)

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


(documentation SRPResults EnglishLanguage "A List containing WebListings or WebPages the is the result of a BestMatchAlgorithm, and is a component of a SearchResultsPage.") UXExperimentalTerms.kif 2473-2474
(subclass SRPResults List) UXExperimentalTerms.kif 2469-2469 Search results is a subclass of list

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


(termFormat EnglishLanguage SRPResults "search results") UXExperimentalTerms.kif 2471-2471

antecedent
-------------------------


(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (exists (?SRP)
        (and
            (instance ?SRP SearchResultsPage)
            (component ?RESULTS ?SRP))))
UXExperimentalTerms.kif 2491-2498
(=>
    (and
        (inList ?ITEM ?RESULTS)
        (instance ?RESULTS SRPResults))
    (or
        (instance ?ITEM WebListing)
        (instance ?ITEM WebPage)))
UXExperimentalTerms.kif 2483-2489
(=>
    (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
(=>
    (instance ?RESULTS SRPResults)
    (exists (?BM)
        (and
            (instance ?BM BestMatchAlgorithm)
            (result ?BM ?RESULTS))))
UXExperimentalTerms.kif 2476-2481

consequent
-------------------------


(=>
    (and
        (instance ?SEO SEO)
        (patient ?SEO ?PAGE))
    (hasPurpose ?SEO
        (exists (?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
            (and
                (instance ?SRPRESULT_BEFORE SRPResults)
                (instance ?SRPRESULT_AFTER SRPResults)
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_BEFORE ?BEFORE))
                (equal ?PAGE
                    (ListOrderFn ?SRPRESULT_AFTER ?AFTER))
                (instance ?BM1 BestMatchAlgorithm)
                (instance ?BM2 BestMatchAlgorithm)
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?SEO)
                    (WhenFn ?BM2))
                (earlier
                    (WhenFn ?BM1)
                    (WhenFn ?SEO))
                (greaterThan ?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?RESULT)
            (and
                (instance ?RESULT SRPResults)
                (result ?BM ?RESULT)))))
UXExperimentalTerms.kif 2293-2299
(=>
    (instance ?PAGE SearchResultsPage)
    (exists (?RESULTS)
        (and
            (instance ?RESULTS SRPResults)
            (component ?RESULTS ?PAGE))))
UXExperimentalTerms.kif 2530-2535
(=>
    (searchResult ?RESULT ?SA)
    (exists (?RESULTS)
        (and
            (instance ?RESULTS SRPResults)
            (inList ?RESULT ?RESULTS))))
UXExperimentalTerms.kif 2331-2336


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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