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 Day 是国际货币基金组织的成立 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	国际货币基金组织是国际组织的 instance
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	国际货币基金组织是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3568-3568	国际货币基金组织是联合国 Organization 的一部分

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