TreeView Knowledge Base Browser - ArabCooperationCouncil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2818-2818	16 Day 是阿拉伯合作理事会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2815-2815	阿拉伯合作理事会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2819-2819	经济一体化是阿拉伯合作理事会的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2817-2817	阿拉伯合作理事会是 "ACC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2816-2816	阿拉伯合作理事会是 "Arab Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8094-8094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8093-8093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8092-8092