No TPTP formula. May not be expressible in strict first order.	WMD.kif 1431-1431	發熱 是 金黃色葡萄球菌 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1751-1751	壞死性筋膜炎 是 鏈球菌 a 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1750-1750	猩紅熱 是 鏈球菌 a 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1749-1749	咽喉炎 是 鏈球菌 a 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1479-1479	麻痺性貝類中毒 是 河豚毒素 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1255-1255	天花 是 天花專業 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1260-1260	天花 是 小天花 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1419-1419	委內瑞拉馬腦炎 是 委內瑞拉馬腦炎病毒 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1494-1494	霍亂 是 霍亂弧菌 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1627-1627	西尼羅河熱 是 西尼羅河病毒 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1174-1174	發熱 是 黃熱病病毒 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1175-1175	黃皮膚黃 是 黃熱病病毒 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 406-406	鼠疫 是 鼠疫耶爾森氏菌 的 biochemical 病毒徵兆

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