Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SearchAttempt(search attempt) |
| appearance as argument number 1 |
|
| (subclass SearchAttempt Pursuing) | UXExperimentalTerms.kif 2343-2343 | Search attempt is a subclass of pursuing |
| (documentation SearchAttempt EnglishLanguage "A subclass of Pursuing where there is a SearchQuery which represents the SearchAttempt.") | UXExperimentalTerms.kif 2347-2348 | Search attempt is a subclass of pursuing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SearchAttempt "search attempt") | UXExperimentalTerms.kif 2345-2345 |
| appearance as argument number 3 |
|
|
| (domain searchResult 2 SearchAttempt) | UXExperimentalTerms.kif 2325-2325 | The number 2 argument of search result is an instance of search attempt |
| antecedent |
|
|
| (=> (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 |
| (=> (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 (?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 |
| (=> (searchQueryRewrite ?QUERY1 ?QUERY2) (exists (?SEARCHATTEMPT) (and (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY1 ?SEARCHATTEMPT) (represents ?QUERY2 ?SEARCHATTEMPT)))) |
UXExperimentalTerms.kif 2454-2460 | If X is a rewrite of Y, then there exists Z such that Z is an instance of search attempt, X expresses Z, and Y expresses Z |
|