TreeView Knowledge Base Browser - InternationalDevelopmentAssociation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3489-3489	26 Day 是国际发展协会的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5631-5631
No TPTP formula. May not be expressible in strict first order.	Government.kif 3486-3486	国际发展协会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3491-3491	经济发展是国际发展协会的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3109-3109	国际发展协会是经济和社会理事会 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	国际发展协会是联合国 Organization 的一部分
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	国际发展协会是世界银行集团 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3488-3488	国际发展协会是 "IDA" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3487-3487	国际发展协会是 "International Development Association" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30571-30571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30570-30570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30569-30569