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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - searchQueryRewrite
searchQueryRewrite

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


(documentation searchQueryRewrite EnglishLanguage "(SearchQueryRewrite ?QUERY1 ?QUERY2) means that the SearchQuery ?QUERY2 occured before the &SearchQuery ?QUERY1, and they both represent the same SearchAttempt.") UXExperimentalTerms.kif 2443-2445
(domain searchQueryRewrite 1 SearchQuery) UXExperimentalTerms.kif 2449-2449 The number 1 argument of search query rewrite is an instance of Search query
(domain searchQueryRewrite 2 SearchQuery) UXExperimentalTerms.kif 2451-2451 The number 2 argument of search query rewrite is an instance of Search query
(instance searchQueryRewrite BinaryPredicate) UXExperimentalTerms.kif 2441-2441 search query rewrite is an instance of binary predicate

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


(format ChineseLanguage searchQueryRewrite "%1 是 %2 的 rewrite ") domainEnglishFormat.kif 4474-4474
(format ChineseTraditionalLanguage searchQueryRewrite "%1 是 %2 的 rewrite ") domainEnglishFormat.kif 4473-4473
(format EnglishLanguage searchQueryRewrite "%1 is a rewrite of %2") domainEnglishFormat.kif 4472-4472
(termFormat EnglishLanguage searchQueryRewrite "search query rewrite") UXExperimentalTerms.kif 2447-2447

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


(=>
    (searchQueryRewrite ?QUERY1 ?QUERY2)
    (earlier
        (WhenFn ?QUERY2)
        (WhenFn ?QUERY1)))
UXExperimentalTerms.kif 2461-2463
(=>
    (searchQueryRewrite ?QUERY1 ?QUERY2)
    (exists (?SEARCHATTEMPT)
        (and
            (instance ?SEARCHATTEMPT SearchAttempt)
            (represents ?QUERY1 ?SEARCHATTEMPT)
            (represents ?QUERY2 ?SEARCHATTEMPT))))
UXExperimentalTerms.kif 2453-2459


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



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