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 Day 是共同经济援助理事会的闭幕 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3008-3008	25 Day 是共同经济援助理事会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3003-3003	共同经济援助理事会是国际组织的 instance

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