|
|
  CouncilForMutualEconomicAssistance
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3009-3009 | The day 1 is a date dissolved of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3008-3008 | The day 25 is a date established of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3003-3003 | Council for mutual economic assistance is an instance of organization of nations |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3005-3005 | "CEMA" is an abbreviation of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3006-3006 | "CMEA" is an abbreviation of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3007-3007 | "Comecon" is an abbreviation of council for mutual economic assistance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3004-3004 | Council for mutual economic assistance is a conventional long name of "Council for Mutual Economic Assistance" |
| 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 |
|
|
|