Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SearchEngine(search engine) |
| appearance as argument number 1 |
|
| (subclass SearchEngine ComputerProgram) | UXExperimentalTerms.kif 2361-2361 | Search engine is a subclass of computer program |
| (documentation SearchEngine EnglishLanguage "A computer program that retrieves documents or files or data from a database or from a computer network (especially from the internet).") | UXExperimentalTerms.kif 2363-2364 | Search engine is a subclass of computer program |
| appearance as argument number 2 |
|
|
| (instance PubMed SearchEngine) | Medicine.kif 4960-4960 | PubMed is an instance of search engine |
| (termFormat EnglishLanguage SearchEngine "search engine") | UXExperimentalTerms.kif 2366-2366 | PubMed is an instance of search engine |
| consequent |
|
|
| (=> (instance ?BM BestMatchAlgorithm) (hasPurpose ?BM (exists (?SEARCHENGINE) (and (instance ?SEARCHENGINE SearchEngine) (agent ?BM ?SEARCHENGINE))))) |
UXExperimentalTerms.kif 2278-2284 | 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 engine and Y is an agent of X |
| (=> (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 |
|