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 13255-13257
(externalImage Questioning "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_3/ information.png") pictureList.kif 517-517
(subclass Questioning Directing) Merge.kif 13254-13254

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


(termFormat ChineseLanguage Questioning "询问") chinese_format.kif 1202-1202
(termFormat EnglishLanguage Questioning "questioning") english_format.kif 1621-1621
(termFormat FrenchLanguage Questioning "questioner") french_format.kif 880-880
(termFormat Hindi Questioning "prashna karanaa") terms-hindi.txt 413-413
(termFormat ItalianLanguage Questioning "Domandare") terms-it.txt 416-416
(termFormat JapaneseLanguage Questioning "質問") japanese_format.kif 2564-2564
(termFormat PortugueseLanguage Questioning "Questionar") portuguese_format.kif 832-832
(termFormat cb Questioning "pagpangutana") terms-cb.txt 418-418
(termFormat cz Questioning "questioning") terms-cz.txt 452-452
(termFormat ro Questioning "interogare") relations-ro.kif 901-901
(termFormat tg Questioning "nagtatanong") terms-tg.txt 417-417

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


(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13259-13265
(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 14472-14477

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


(=>
    (instance ?ANSWER Answering)
    (exists (?QUESTION)
        (and
            (instance ?QUESTION Questioning)
            (refers ?ANSWER ?QUESTION)
            (earlier
                (WhenFn ?QUESTION)
                (WhenFn ?ANSWER)))))
Mid-level-ontology.kif 891-897
(=>
    (instance ?QUERY SearchQuery)
    (exists (?QUESTION ?SEARCHENGINE)
        (and
            (instance ?QUESTION Questioning)
            (result ?QUESTION ?QUERY)
            (destination ?QUESTION ?SEARCHENGINE)
            (instance ?SEARCHENGINE SearchEngine))))
UXExperimentalTerms.kif 2417-2424


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