| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1834-1834 |
黄曲霉毒素中毒 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 333-333 |
肉毒中毒 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1487-1487 |
霍乱 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1910-1910 |
克里米亚刚果出血热 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1652-1652 |
登革热出血热 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1902-1902 |
白喉 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1697-1697 |
东部马脑炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1800-1800 |
B型肝炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1810-1810 |
C型肝炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1518-1518 |
疱疹B 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1146-1146 |
吸入性炭疽 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1711-1711 |
日本脑炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1864-1864 |
拉沙热 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1887-1887 |
军团病 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1608-1608 |
疟疾 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1741-1741 |
马尔堡病 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1766-1766 |
坏死性筋膜炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1462-1462 |
麻痹性贝类中毒 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 259-259 |
落基山斑疹热 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1681-1681 |
圣路易斯脑炎 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1731-1731 |
结核 是 危及生命的疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34355-34355 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34354-34354 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34353-34353 |
|
LifeThreateningDisease