| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1931-1931 |
例 阿根廷出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1943-1943 |
例 玻利維亞出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1963-1963 |
例 巴西出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1909-1909 |
例 克里米亞剛果出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1651-1651 |
例 登革熱出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1199-1199 |
例 埃博拉出血熱 and 出血熱 |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1953-1953 |
例 委內瑞拉出血熱 and 出血熱 |
| 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 |
|
