| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1911-1911 |
克里米亚刚果出血热 对于 %3 disease 孵化 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1913-1913 |
0.3 是 克里米亚刚果出血热 的 disease 死亡 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1912-1912 |
发热 是 克里米亚刚果出血热 的 disease 病状 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1914-1916 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1909-1909 |
克里米亚刚果出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1910-1910 |
克里米亚刚果出血热 是 危及生命的疾病 的 instance |
