| 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 |
例 克里米亞剛果出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1910-1910 |
例 克里米亞剛果出血熱 and 危及生命的疾病 |
