Bangladesh
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2985-2985 | Bangladeshi taka is a currency type of bangladesh |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1189-1189 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 623-623 | Developing country is an economy type of bangladesh |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | Less developed country is an economy type of bangladesh |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 255-255 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 569-569 | Bangladesh is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | Bangladesh is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2723-2723 | Chittagong bangladesh is a geographic subregion of bangladesh |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2779-2779 | Dhaka bangladesh is a geographic subregion of bangladesh |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3293-3293 | Narayangang bangladesh is a geographic subregion of bangladesh |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3505-3505 | Satkhira bangladesh is a geographic subregion of bangladesh |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4161-4161 | Bangladesh has name "Bangladesh" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9780-9780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9779-9779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9778-9778 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2656-2656 | "BD" in ISO-3166-1-alpha-2 denotes bangladesh |