TreeView Knowledge Base Browser - InternationalFinanceCorporation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3514-3514	25 Day 是国际金融公司的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3517-3519
No TPTP formula. May not be expressible in strict first order.	Government.kif 3511-3511	国际金融公司是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3522-3522	促进私营企业是国际金融公司的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3110-3110	国际金融公司是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3515-3515	国际金融公司是联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4321-4321	国际金融公司是世界银行集团 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3513-3513	国际金融公司是 "IFC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3512-3512	国际金融公司是 "International Finance Corporation" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30595-30595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30594-30594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30593-30593