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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PneumonicPlague

 Sigma KEE - PneumonicPlague
PneumonicPlague(pneumonic plague)
plague_pneumonia, pneumonic_plague, pulmonic_plague

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 424-424 Pneumonic plague disease incubation 3 day duration(s) for 4 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 425-427
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11631-11631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10194-10194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11632-11632
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11633-11633
No TPTP formula. May not be expressible in strict first order. WMD.kif 423-423 Pneumonic plague is a subattribute of plague

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46332-46332
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46331-46331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46330-46330


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