WorldBankGroup - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6985-6985
No TPTP formula. May not be expressible in strict first order.	Government.kif 4317-4317	例世界銀行集團 and 國際組織

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4318-4318	世界銀行集團是 "World Bank Group" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4319-4319	子組織國際重建和發展銀行 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	Government.kif 4320-4320	子組織國際發展協會 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	Government.kif 4321-4321	子組織國際金融公司 and 世界銀行集團
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63483-63483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63482-63482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63481-63481