SearchAttempt - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SearchAttempt EnglishLanguage "A subclass of Pursuing where there is a SearchQuery which represents the SearchAttempt.")	UXExperimentalTerms.kif 2346-2347
(subclass SearchAttempt Pursuing)	UXExperimentalTerms.kif 2342-2342	Search attempt is a subclass of pursuing

appearance as argument number 2

(termFormat EnglishLanguage SearchAttempt "search attempt")

UXExperimentalTerms.kif 2344-2344

appearance as argument number 3

(domain searchResult 2 SearchAttempt)

UXExperimentalTerms.kif 2324-2324

The number 2 argument of search result is an instance of search attempt

antecedent

(=> (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 2426-2435	If an entity is an instance of Search query and a process is an instance of search attempt and the entity expresses the process, then there exist an agent and another entity such that the agent is an instance of agent and the other entity is a patient of the process and the agent is an agent of the process
(=> (instance ?SA SearchAttempt) (exists (?QUERY) (and (instance ?QUERY SearchQuery) (represents ?QUERY ?SA))))	UXExperimentalTerms.kif 2349-2354	If an entity is an instance of search attempt, then there exists another entity such that the other entity is an instance of Search query and the other entity expresses the entity

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 2301-2312	If a physical is an instance of best match sort, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of Search query and the other entity is an instance of search attempt and the entity expresses the other entity and the entity is a patient of the physical and the fourth entity is an instance of agent and the third entity is a patient of the other entity and the fourth entity is an agent of the other entity
(=> (searchQueryRewrite ?QUERY1 ?QUERY2) (exists (?SEARCHATTEMPT) (and (instance ?SEARCHATTEMPT SearchAttempt) (represents ?QUERY1 ?SEARCHATTEMPT) (represents ?QUERY2 ?SEARCHATTEMPT))))	UXExperimentalTerms.kif 2453-2459	If a Search query is a rewrite of another Search query, then there exists an entity such that the entity is an instance of search attempt and the Search query expresses the entity and the other Search query expresses the entity

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

KB Term:			Term intersection

English Word: