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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Questioning
Questioning

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


(documentation Questioning ChineseLanguage "这是询问资料。例如:约翰问比利如果总统在他国情咨文中有 没有说过任何有关税务的问题。") chinese_format.kif 3272-3273
(documentation Questioning EnglishLanguage "A request for information. For example, John asked Bill if the President had said anything about taxes in his State of the Union address.") Merge.kif 12279-12281
(externalImage Questioning "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ signs_symbol/ BW/ BW_3/ information.png") pictureList.kif 517-517
(subclass Questioning Directing) Merge.kif 12278-12278 subclass Questioning and Directing

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


(termFormat ChineseLanguage Questioning "询问") chinese_format.kif 1202-1202
(termFormat EnglishLanguage Questioning "questioning") english_format.kif 1626-1626

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


(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 12283-12289
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 11904-11909

consequent
-------------------------


(=>
    (instance ?ANSWER Answering)
    (exists (?QUESTION)
        (and
            (instance ?QUESTION Questioning)
            (refers ?ANSWER ?QUESTION)
            (earlier
                (WhenFn ?QUESTION)
                (WhenFn ?ANSWER)))))
Mid-level-ontology.kif 1286-1292
(=>
    (instance ?QUERY SearchQuery)
    (exists (?QUESTION ?SEARCHENGINE)
        (and
            (instance ?QUESTION Questioning)
            (result ?QUESTION ?QUERY)
            (destination ?QUESTION ?SEARCHENGINE)
            (instance ?SEARCHENGINE SearchEngine))))
UXExperimentalTerms.kif 2624-2631


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