Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SearchQuery

Sigma KEE - SearchQuery
SearchQuery(Search query)Search_query

appearance as argument number 1
-------------------------


(documentation SearchQuery EnglishLanguage "A SymbolicString which is the result of a Questioning where the destination of the Questioning is a SearchEngine.") UXExperimentalTerms.kif 2619-2620
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2617-2617 Search query is a subclass of symbolic string

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SearchQuery "Search query") UXExperimentalTerms.kif 2622-2622 "Search query" is the printable form of Search query in english language

appearance as argument number 3
-------------------------


(domain searchQueryRewrite 1 SearchQuery) UXExperimentalTerms.kif 2656-2656 The number 1 argument of search query rewrite is an instance of Search query
(domain searchQueryRewrite 2 SearchQuery) UXExperimentalTerms.kif 2658-2658 The number 2 argument of search query rewrite is an instance of Search query

antecedent
-------------------------


(=>
    (and
        (instance ?QUERY SearchQuery)
        (instance ?SEARCHATTEMPT SearchAttempt)
        (represents ?QUERY ?SEARCHATTEMPT))
    (exists (?AGENT ?OBJ)
        (and
            (instance ?AGENT Agent)
            (patient ?SEARCHATTEMPT ?OBJ)
            (agent ?SEARCHATTEMPT ?AGENT))))
UXExperimentalTerms.kif 2633-2642
(=>
    (instance ?QUERY SearchQuery)
    (exists (?QUESTION ?SEARCHENGINE)
        (and
            (instance ?QUESTION Questioning)
            (result ?QUESTION ?QUERY)
            (destination ?QUESTION ?SEARCHENGINE)
            (instance ?SEARCHENGINE SearchEngine))))
UXExperimentalTerms.kif 2624-2631

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 Agent)
                (patient ?SEARCHATTEMPT ?OBJECT)
                (agent ?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2508-2519
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?SearchQuery)
            (and
                (instance ?SearchQuery SearchQuery)
                (patient ?BM ?SearchQuery)))))
UXExperimentalTerms.kif 2492-2498
(=>
    (instance ?SA SearchAttempt)
    (exists (?QUERY)
        (and
            (instance ?QUERY SearchQuery)
            (represents ?QUERY ?SA))))
UXExperimentalTerms.kif 2556-2561
(=>
    (instance ?TERM SearchTerm)
    (exists (?QUERY ?PART)
        (and
            (instance ?QUERY SearchQuery)
            (part ?PART ?QUERY)
            (represents ?PART ?TERM))))
UXExperimentalTerms.kif 2718-2724


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners