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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PneumonicPlague

 Sigma KEE - PneumonicPlague
PneumonicPlague(肺鼠疫)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 424-424 肺鼠疫 對於 %3 disease 孵化
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 子屬性 肺鼠疫 and 鼠疫

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