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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SearchQuery

Sigma KEE - SearchQuery
SearchQuery

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 subclass SearchQuery and SymbolicString

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


(termFormat EnglishLanguage SearchQuery "Search query") UXExperimentalTerms.kif 2622-2622

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


(domain searchQueryRewrite 1 SearchQuery) UXExperimentalTerms.kif 2656-2656 domain searchQueryRewrite, 1 and SearchQuery
(domain searchQueryRewrite 2 SearchQuery) UXExperimentalTerms.kif 2658-2658 domain searchQueryRewrite, 2 and SearchQuery

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 3.0 is open source software produced by Articulate Software and its partners