No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1499-1499 |
破傷風 對於 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1500-1504 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6919-6919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8079-8079 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8077-8077 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8078-8078 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1497-1497 |
例 破傷風 and 細菌性疾病 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1498-1498 |
例 破傷風 and 可預防的疾病 |