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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 2 SearchQuery) UXExperimentalTerms.kif 2658-2658

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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners