TreeView Knowledge Base Browser - CouncilForMutualEconomicAssistance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3009-3009	天 1 and 月 January and 年 1991 是共同經濟援助理事會的閉幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3008-3008	天 25 and 月 January and 年 1949 是共同經濟援助理事會的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	例共同經濟援助理事會 and 國際組織

appearance as argument number 2

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