TreeView Knowledge Base Browser

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

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

KB Term:			Term intersection

English Word: