No TPTP formula. May not be expressible in strict first order. |
Economy.kif 186-186 |
"Second World" 是对于 前苏联或东欧国家 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 185-185 |
前苏联或东欧国家 的名 是 "Former Eastern European" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 183-183 |
前苏联或东欧国家 的名 是 "Former Soviet or Eastern European Country" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 184-184 |
前苏联或东欧国家 的名 是 "Former Soviet" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 209-209 |
较未发达国家 是 前苏联或东欧国家 的直接后续属性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24752-24752 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24751-24751 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24750-24750 |
|