No TPTP formula. May not be expressible in strict first order. |
Government.kif 3005-3005 |
共同经济援助理事会 是 "CEMA" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3006-3006 |
共同经济援助理事会 是 "CMEA" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3007-3007 |
共同经济援助理事会 是 "Comecon" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3004-3004 |
共同经济援助理事会 是 "Council for Mutual Economic Assistance" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17520-17520 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17519-17519 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17518-17518 |
|