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 and 月 January and 年 1960 是國際發展協會的成立 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	例國際發展協會 and 國際組織
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	子組織國際發展協會 and 經濟和社會理事會
No TPTP formula. May not be expressible in strict first order.	Government.kif 3490-3490	子組織國際發展協會 and 聯合國
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	子組織國際發展協會 and 世界銀行集團

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