Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| searchResult |
| appearance as argument number 1 |
|
| (instance searchResult BinaryPredicate) | UXExperimentalTerms.kif 2321-2321 | search result is an instance of binary predicate |
| (domain searchResult 1 WebListing) | UXExperimentalTerms.kif 2323-2323 | The number 1 argument of search result is an instance of web listing |
| (domain searchResult 2 SearchAttempt) | UXExperimentalTerms.kif 2325-2325 | The number 2 argument of search result is an instance of search attempt |
| (documentation searchResult EnglishLanguage "(searchResult ?RESULT ?SA) relates a WebListing to a SearchAttempt where the listing is in the SRPResults.") | UXExperimentalTerms.kif 2329-2330 | The number 2 argument of search result is an instance of search attempt |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage searchResult "search result") | UXExperimentalTerms.kif 2327-2327 | |
| (format EnglishLanguage searchResult "%1 results from searching for %2") | domainEnglishFormat.kif 4480-4480 | |
| (format ChineseTraditionalLanguage searchResult "%1 results 從 searching 對於 %2 ") | domainEnglishFormat.kif 4481-4481 | |
| (format ChineseLanguage searchResult "%1 results 从 searching 对于 %2 ") | domainEnglishFormat.kif 4482-4482 |
| antecedent |
|
|
| (=> (searchResult ?RESULT ?SA) (exists (?RESULTS) (and (instance ?RESULTS SRPResults) (inList ?RESULT ?RESULTS)))) |
UXExperimentalTerms.kif 2332-2337 | If X results from searching for Y, then there exists Z such that Z is an instance of search results and X is a member of Z |
|