No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1138-1138 |
炭疽病 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6216-6216 |
BacterialPneumonia 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 332-332 |
肉毒中毒 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 393-393 |
波状热 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1485-1485 |
霍乱 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1901-1901 |
白喉 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 364-364 |
马鼻疽 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1159-1159 |
淋病 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1883-1883 |
军团病 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 271-271 |
虱传斑疹伤寒 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1404-1404 |
LymeDisease 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 380-380 |
类鼻疽 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1765-1765 |
坏死性筋膜炎 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1577-1577 |
百日咳 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 411-411 |
鼠疫 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1601-1601 |
鹦鹉学舌 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1162-1162 |
Q发烧 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 258-258 |
落基山斑疹热 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1760-1760 |
猩红热 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1755-1755 |
咽喉炎 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1497-1497 |
破伤风 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6184-6184 |
结核 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1214-1214 |
兔热病 是 细菌性疾病 的 instance |
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 |