SRPResults
|
|
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 | SRPResults est une sous-classe de liste |
appearance as argument number 2 |
(termFormat EnglishLanguage SRPResults "search results") | UXExperimentalTerms.kif 2471-2471 |
antecedent |
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 |
|