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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Question
Question

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


(documentation Question EnglishLanguage "An interrogative Sentence, a Sentence that poses a question.") Mid-level-ontology.kif 14251-14252
(externalImage Question "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_5/ question.png") pictureList.kif 681-681
(subclass Question Sentence) Mid-level-ontology.kif 14250-14250 Questionsubclass では %n

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


(termFormat ChineseLanguage Question "题") domainEnglishFormat.kif 48338-48338
(termFormat ChineseTraditionalLanguage Question "題") domainEnglishFormat.kif 48337-48337
(termFormat EnglishLanguage Question "question") domainEnglishFormat.kif 48336-48336

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


(domain securityQA 1 Question) ComputingBrands.kif 4550-4550 securityQA の数値 1 引数は Questioninstance では %n

appearance as argument number 4
-------------------------


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14231-14231 Statement, Supposition, Question, Request, + Orderdisjointly decomposed %n

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


(=>
    (and
        (instance ?QUESTION Questioning)
        (result ?QUESTION ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Question))
Mid-level-ontology.kif 14254-14259


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