| AsianDevelopmentBank(asian development bank)
| | asian_development_bank |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | The day 19 is a date established of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5870-5870 | "http://upload.wikimedia.org/wikipedia/commons/8/8a/ Asian_Development_Bank_headquarters.jpg" is a URL depicting asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2797-2797 | Asian development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | Economic cooperation is an organizational objective of asian development bank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2799-2799 | "AsDB" is an abbreviation of asian development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2798-2798 | Asian development bank is a conventional long name of "Asian Development Bank" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1878-1878 | "asian development bank" is the printable form of asian development bank in english language |
|
|
|