TreeView Knowledge Base Browser

appearance as argument number 1

(documentation searchResult EnglishLanguage "(searchResult ?RESULT ?SA) relates a WebListing to a SearchAttempt where the listing is in the SRPResults.")	UXExperimentalTerms.kif 2328-2329
(domain searchResult 1 WebListing)	UXExperimentalTerms.kif 2322-2322	searchResult 的 1 数量是 WebListing 的 instance
(domain searchResult 2 SearchAttempt)	UXExperimentalTerms.kif 2324-2324	searchResult 的 2 数量是 SearchAttempt 的 instance
(instance searchResult BinaryPredicate)	UXExperimentalTerms.kif 2320-2320	searchResult 是二元谓语的 instance

appearance as argument number 2

(format ChineseLanguage searchResult "%1 results 从 searching 对于 %2 ")	domainEnglishFormat.kif 4478-4478
(format ChineseTraditionalLanguage searchResult "%1 results 從 searching 對於 %2 ")	domainEnglishFormat.kif 4477-4477
(format EnglishLanguage searchResult "%1 results from searching for %2")	domainEnglishFormat.kif 4476-4476
(termFormat EnglishLanguage searchResult "search result")	UXExperimentalTerms.kif 2326-2326

antecedent

(=>
    (searchResult ?RESULT ?SA)
    (exists (?RESULTS)
        (and
            (instance ?RESULTS SRPResults)
            (inList ?RESULT ?RESULTS))))

UXExperimentalTerms.kif 2331-2336

如果 WebListing results 从 searching 对于 SearchAttempt ，
然后有存在那个 WebListingS 这样那个 WebListingS 是 SRPResults 的 instance 和那个 WebListing 是那个 WebListingS 的 member

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

KB Term:			Term intersection

English Word: