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 2650-2652
(domain searchQueryRewrite 1 SearchQuery) UXExperimentalTerms.kif 2656-2656 domain searchQueryRewrite, 1 and SearchQuery
(domain searchQueryRewrite 2 SearchQuery) UXExperimentalTerms.kif 2658-2658 domain searchQueryRewrite, 2 and SearchQuery
(instance searchQueryRewrite BinaryPredicate) UXExperimentalTerms.kif 2648-2648 instance searchQueryRewrite and BinaryPredicate

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


(format ChineseLanguage searchQueryRewrite "%1 是 %2 的 rewrite ") domainEnglishFormat.kif 4483-4483
(format ChineseTraditionalLanguage searchQueryRewrite "%1 是 %2 的 rewrite ") domainEnglishFormat.kif 4482-4482
(format EnglishLanguage searchQueryRewrite "%1 is a rewrite of %2") domainEnglishFormat.kif 4481-4481
(termFormat EnglishLanguage searchQueryRewrite "search query rewrite") UXExperimentalTerms.kif 2654-2654

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


(=>
    (searchQueryRewrite ?QUERY1 ?QUERY2)
    (earlier
        (WhenFn ?QUERY2)
        (WhenFn ?QUERY1)))
UXExperimentalTerms.kif 2668-2670
(=>
    (searchQueryRewrite ?QUERY1 ?QUERY2)
    (exists (?SEARCHATTEMPT)
        (and
            (instance ?SEARCHATTEMPT SearchAttempt)
            (represents ?QUERY1 ?SEARCHATTEMPT)
            (represents ?QUERY2 ?SEARCHATTEMPT))))
UXExperimentalTerms.kif 2660-2666


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