| 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