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 |
破伤风 是 细菌性疾病 的 instance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1498-1498 |
破伤风 是 可预防的疾病 的 instance |