No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1964-1964 |
发热 是 巴西出血热 的 disease 病状 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1965-1967 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10549-10549 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10547-10547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10546-10546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9914-9914 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10548-10548 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1963-1963 |
巴西出血热 是 出血热 的 instance |