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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BacterialAgent
BacterialAgent(細菌劑)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 200-200 Breathing細菌劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 Touching細菌劑biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 202-203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8958-8958
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8366-8366
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8953-8953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8954-8954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8959-8959
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8955-8955
No TPTP formula. May not be expressible in strict first order. WMD.kif 199-199 子類 細菌劑 and Bacterium
No TPTP formula. May not be expressible in strict first order. WMD.kif 198-198 子類 細菌劑 and 有毒生物

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 279-279 子類 炭疽桿菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1849-1849 子類 蠟狀芽孢桿菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1585-1585 子類 百日咳博德特氏菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 386-386 子類 布魯氏菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 355-355 子類 burkholderia mallei and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 371-371 子類 burkholderia 假單胞菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1595-1595 子類 衣原體鸚鵡熱 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 317-317 子類 肉毒梭菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 340-340 子類 產氣莢膜梭菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1506-1506 子類 破傷風梭菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1896-1896 子類 白喉棒狀桿菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1719-1719 子類 大腸桿菌 coli0157 h7 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1203-1203 子類 弗朗西斯 土拉弗朗西斯菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1363-1363 子類 賈第鞭毛蟲 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1877-1877 子類 軍團菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1725-1725 子類 結核分枝桿菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1244-1244 子類 淋球菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 246-246 子類 立克次體代理人 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1006-1006 子類 沙門氏菌副傷寒沙門氏菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1352-1352 子類 傷寒沙門氏菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1000-1000 子類 鼠傷寒沙門氏菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1369-1369 子類 serratia marcenscens and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1331-1331 子類 志賀氏痢疾桿菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1429-1429 子類 金黃色葡萄球菌 and 細菌劑
No TPTP formula. May not be expressible in strict first order. WMD.kif 1748-1748 子類 鏈球菌 a and 細菌劑

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1124-1129


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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