| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1138-1138 |
例 炭疽病 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6216-6216 |
例 BacterialPneumonia and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 332-332 |
例 肉毒中毒 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 393-393 |
例 波狀熱 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1485-1485 |
例 霍亂 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1901-1901 |
例 白喉 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 364-364 |
例 馬鼻疽 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1159-1159 |
例 淋病 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1883-1883 |
例 軍團病 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 271-271 |
例 蝨傳斑疹傷寒 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1404-1404 |
例 LymeDisease and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 380-380 |
例 類鼻疽 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1765-1765 |
例 壞死性筋膜炎 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1577-1577 |
例 百日咳 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 411-411 |
例 鼠疫 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1601-1601 |
例 鸚鵡學舌 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1162-1162 |
例 Q發燒 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 258-258 |
例 落基山斑疹熱 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1760-1760 |
例 猩紅熱 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1755-1755 |
例 咽喉炎 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1497-1497 |
例 破傷風 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6184-6184 |
例 結核 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1214-1214 |
例 兔熱病 and 細菌性疾病 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9528-9528 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9527-9527 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
