|
|
  Bangladesh
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2996-2996 | 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 618-618 | 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 9784-9784 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9783-9783 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9782-9782 |
| 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 |
|
|
|
