Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1In2In3In4In5Ra6Re7ReFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SearchQuery SymbolicString) | UXExperimentalTerms.kif 2411-2411 | Search query is a subclass of symbolic string |
| (documentation SearchQuery EnglishLanguage "A SymbolicString which is the result of a Questioning where the destination of the Questioning is a SearchEngine.") | UXExperimentalTerms.kif 2413-2414 | Search query is a subclass of symbolic string |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SearchQuery "Search query") | UXExperimentalTerms.kif 2416-2416 |
| appearance as argument number 3 |
|
|
| (domain searchQueryRewrite 1 SearchQuery) | UXExperimentalTerms.kif 2450-2450 | The number 1 argument of search query rewrite is an instance of Search query |
| (domain searchQueryRewrite 2 SearchQuery) | UXExperimentalTerms.kif 2452-2452 | The number 2 argument of search query rewrite is an instance of Search query |
| antecedent |
|
|
| (=> (instance ?QUERY SearchQuery) (exists (?QUESTION ?SEARCHENGINE) (and (instance ?QUESTION Questioning) (result ?QUESTION ?QUERY) (destination ?QUESTION ?SEARCHENGINE) (instance ?SEARCHENGINE SearchEngine)))) |
UXExperimentalTerms.kif 2418-2425 | If X is an instance of Search query, then there exist Y, Z such that Y is an instance of questioning, X is a result of Y, Y ends up at Z, and Z is an instance of search engine |
| (=> (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT)) (exists (?AGENT ?OBJ) (and (instance ?AGENT AutonomousAgent) (patient ?SEARCHATTEMPT ?OBJ) (agent ?SEARCHATTEMPT ?AGENT)))) |
UXExperimentalTerms.kif 2427-2436 | If X is an instance of Search query, Y is an instance of search attempt, and X expresses Y, then there exist Z, W such that Z is an instance of agent, W is a patient of Y, and Z is an agent of Y |
| consequent |
|
|
| (=> (instance ?BM BestMatchAlgorithm) (hasPurpose ?BM (exists (?SearchQuery) (and (instance ?SearchQuery SearchQuery) (patient ?BM ?SearchQuery))))) |
UXExperimentalTerms.kif 2286-2292 | If X is an instance of best match sort, then X has the purpose there exists Y such that Y is an instance of Search query and Y is a patient of X |
| (=> (instance ?BM BestMatchAlgorithm) (hasPurpose ?BM (exists (?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT) (and (instance ?QUERY SearchQuery) (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY ?SEARCHATTEMPT) (patient ?BM ?QUERY) (instance ?AGENT AutonomousAgent) (patient ?SEARCHATTEMPT ?OBJECT) (agent ?SEARCHATTEMPT ?AGENT))))) |
UXExperimentalTerms.kif 2302-2313 | If X is an instance of best match sort, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of Search query (3) Z is an instance of search attempt (4) Y expresses Z (5) Y is a patient of X (6) V is an instance of agent (7) W is a patient of Z (8) V is an agent of Z |
| (=> (instance ?SA SearchAttempt) (exists (?QUERY) (and (instance ?QUERY SearchQuery) (represents ?QUERY ?SA)))) |
UXExperimentalTerms.kif 2350-2355 | If X is an instance of search attempt, then there exists Y such that Y is an instance of Search query and Y expresses X |
| (=> (instance ?TERM SearchTerm) (exists (?QUERY ?PART) (and (instance ?QUERY SearchQuery) (part ?PART ?QUERY) (represents ?PART ?TERM)))) |
UXExperimentalTerms.kif 2512-2518 | If X is an instance of search term, then there exist Y, Z such that Y is an instance of Search query, Z is a part of Y, and Z expresses X |
|