No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1761-1761 |
猩红热 对于 %3 disease 孵化 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1762-1763 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6842-6842 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7816-7816 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7817-7817 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1760-1760 |
猩红热 是 细菌性疾病 的 instance |