TreeView Knowledge Base Browser - InternationalMonetaryFund

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3567-3567	天 22 and 月 July and 年 1944 是國際貨幣基金組織的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5634-5634
No TPTP formula. May not be expressible in strict first order.	Government.kif 3564-3564	例國際貨幣基金組織 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3569-3569	經濟發展是國際貨幣基金組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3570-3570	貨幣穩定是國際貨幣基金組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3114-3114	子組織國際貨幣基金組織 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	子組織國際貨幣基金組織 and 聯合國

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3566-3566	國際貨幣基金組織是 "IMF" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3565-3565	國際貨幣基金組織是 "International Monetary Fund" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30643-30643
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30642-30642
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30641-30641