|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1349-1349 | 获得性免疫缺陷综合症 是 HIV病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1781-1781 | A型肝炎 是 A型肝炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1794-1794 | B型肝炎 是 B型肝炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1805-1805 | C型肝炎 是 C型肝炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1705-1705 | 日本脑炎 是 日本脑炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1926-1926 | 阿根廷出血热 是 junin病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1662-1662 | La crosse 脑炎 是 拉克罗斯病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1857-1857 | 拉沙热 是 拉萨病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1878-1878 | 军团病 是 军团菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1939-1939 | 玻利维亚出血热 是 machupo病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1737-1737 | 马尔堡病 是 马尔堡病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1233-1233 | 猴痘 是 猴痘病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1726-1726 | 结核 是 结核分枝杆菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1245-1245 | 淋病 是 淋球菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 560-560 | 麻痹 是 神经毒剂 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 268-268 | 虱传斑疹伤寒 是 立克次氏体 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 254-254 | 落基山斑疹热 是 立克次体立克次体 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1817-1817 | 轮状病毒肠胃炎 是 轮状病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1247-1247 | Covid19 是 SARSCoV2 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1960-1960 | 巴西出血热 是 sabia病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1676-1676 | 圣路易斯脑炎 是 圣路易斯脑炎病毒 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1354-1354 | 伤寒 是 伤寒沙门氏菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1002-1002 | 发热 是 鼠伤寒沙门氏菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1001-1001 | 胃肠炎 是 鼠伤寒沙门氏菌 的 biochemical 病毒征兆 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1458-1458 | 麻痹性贝类中毒 是 石房蛤毒素 的 biochemical 病毒征兆 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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