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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirForce

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 14278-14279
(externalImage Question "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_5/ question.png") pictureList.kif 681-681
(subclass Question Sentence) Mid-level-ontology.kif 14277-14277 Question è una sottoclasse di Frase

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


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

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


(domain securityQA 1 Question) ComputingBrands.kif 4550-4550 Il numero 1 argomenti di securityQA è un istanza di Question

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


(disjointDecomposition Sentence Statement Supposition Question Request Order) Mid-level-ontology.kif 14258-14258 Frase è scomposto disgiuntivamente in Statement, Supposition, Question, Request, + Order

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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