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 2622-2623
(subclass SearchQuery SymbolicString) UXExperimentalTerms.kif 2620-2620

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


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

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


(domain searchQueryRewrite 1 SearchQuery) UXExperimentalTerms.kif 2659-2659
(domain searchQueryRewrite 2 SearchQuery) UXExperimentalTerms.kif 2661-2661

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 2636-2645
(=>
    (instance ?QUERY SearchQuery)
    (exists (?QUESTION ?SEARCHENGINE)
        (and
            (instance ?QUESTION Questioning)
            (result ?QUESTION ?QUERY)
            (destination ?QUESTION ?SEARCHENGINE)
            (instance ?SEARCHENGINE SearchEngine))))
UXExperimentalTerms.kif 2627-2634

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 2511-2522
(=>
    (instance ?BM BestMatchAlgorithm)
    (hasPurpose ?BM
        (exists (?SearchQuery)
            (and
                (instance ?SearchQuery SearchQuery)
                (patient ?BM ?SearchQuery)))))
UXExperimentalTerms.kif 2495-2501
(=>
    (instance ?SA SearchAttempt)
    (exists (?QUERY)
        (and
            (instance ?QUERY SearchQuery)
            (represents ?QUERY ?SA))))
UXExperimentalTerms.kif 2559-2564
(=>
    (instance ?TERM SearchTerm)
    (exists (?QUERY ?PART)
        (and
            (instance ?QUERY SearchQuery)
            (part ?PART ?QUERY)
            (represents ?PART ?TERM))))
UXExperimentalTerms.kif 2721-2727


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