No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5615-5615 |
瘧疾 是 對於 Ingesting 的 disease 治癒 Hydroxychloroquine |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1609-1609 |
發熱 是 瘧疾 的 disease 病狀 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1610-1612 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6686-6686 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7266-7266 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7267-7267 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7268-7268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7269-7269 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1607-1607 |
例 瘧疾 and 傳染病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1608-1608 |
例 瘧疾 and 危及生命的疾病 |