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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anthrax

Sigma KEE - Anthrax
Anthrax(炭疽病)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1141-1141 炭疽病 對於 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order. WMD.kif 1140-1140 炭疽病 是 對於 Ingestingdisease 治癒 環丙沙星
No TPTP formula. May not be expressible in strict first order. WMD.kif 1139-1139 炭疽病 是 對於 Ingestingdisease 治癒 多西環素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1142-1143
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6103-6103
No TPTP formula. May not be expressible in strict first order. WMD.kif 1138-1138 炭疽病 and 細菌性疾病

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 280-280 炭疽病炭疽桿菌biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order. WMD.kif 1145-1145 子屬性 吸入性炭疽 and 炭疽病
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7812-7812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7811-7811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7810-7810


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