| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1931-1931 |
阿根廷出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1943-1943 |
玻利维亚出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1963-1963 |
巴西出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1909-1909 |
克里米亚刚果出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1651-1651 |
登革热出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1199-1199 |
埃博拉出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1953-1953 |
委内瑞拉出血热 是 出血热 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27921-27921 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27920-27920 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27919-27919 |
|
