No TPTP formula. May not be expressible in strict first order. |
Government.kif 2969-2969 |
共同經濟援助理事會 是 "CEMA" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2970-2970 |
共同經濟援助理事會 是 "CMEA" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2971-2971 |
共同經濟援助理事會 是 "Comecon" 的簡稱 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2968-2968 |
共同經濟援助理事會 是 "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 |
|