| No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1233-1233 |
Covid19 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1646-1646 |
登革热 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1696-1696 |
东部马脑炎 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1517-1517 |
疱疹B 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1710-1710 |
日本脑炎 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1666-1666 |
La crosse 脑炎 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1863-1863 |
拉沙热 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1740-1740 |
马尔堡病 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1238-1238 |
Mixomatosis 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1228-1228 |
猴痘 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1822-1822 |
轮状病毒肠胃炎 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1680-1680 |
圣路易斯脑炎 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1220-1220 |
天花 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1631-1631 |
西尼罗河热 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1169-1169 |
黄皮肤 是 病毒性疾病 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1119-1119 |
出血热 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1777-1777 |
肝炎 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1447-1447 |
流感 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1423-1423 |
裂谷热 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2036-2036 |
蜱传脑炎 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1408-1408 |
委内瑞拉马脑炎 是 病毒性疾病 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61706-61706 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61705-61705 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61704-61704 |
|
