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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoxiellaBurnetii

Sigma KEE - CoxiellaBurnetii
CoxiellaBurnetii(coxiella burnetii)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1250-1250 Breathing is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1251-1251 Ingesting is a biochemical agent delivery of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1249-1249 Q fever is a biochemical agent syndrome of coxiella burnetii
No TPTP formula. May not be expressible in strict first order. WMD.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. WMD.kif 1248-1248 Coxiella burnetii is a subclass of rickettsial agent

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17682-17682
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17681-17681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17680-17680


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