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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Question

Sigma KEE - Question
Question(question)
koan, problem

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14251-14252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 681-681
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14250-14250 Question is a subclass of sentence

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48338-48338
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48337-48337
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48336-48336

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4550-4550 The number 1 argument of security QA is an instance of question

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14231-14231 Sentence is disjointly decomposed into statement, supposition, question, request, and order

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14254-14259


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