|
|
  Bangladesh
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2985-2985 | currencyType Bangladesh and BangladeshiTaka |
| 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 | economyType Bangladesh and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | economyType Bangladesh and LessDevelopedCountry |
| 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 | geographicSubregion Bangladesh and SouthernAsia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | Bangladesh e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2723-2723 | geographicSubregion ChittagongBangladesh and Bangladesh |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2779-2779 | geographicSubregion DhakaBangladesh and Bangladesh |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3293-3293 | geographicSubregion NarayangangBangladesh and Bangladesh |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3505-3505 | geographicSubregion SatkhiraBangladesh and Bangladesh |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4161-4161 | Bangladesh se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "BD" and Bangladesh |
|
|
|
