Bangladesh(孟加拉國) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2985-2985 | 孟加拉國塔卡 是 孟加拉國 的 currency 類別 |
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 | 發展中國家 是 孟加拉國 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 239-239 | 較未發達國家 是 孟加拉國 的 economy 類別 |
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 | 孟加拉國 是 南亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | 例 孟加拉國 and Nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2723-2723 | 吉大港孟加拉國 是 孟加拉國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2779-2779 | 達卡孟加拉國 是 孟加拉國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3293-3293 | Narayanganj孟加拉國 是 孟加拉國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3505-3505 | Satkhira孟加拉國 是 孟加拉國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4161-4161 | 名 "Bangladesh" and 孟加拉國 |
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" 在 ISO-3166-1-alpha-2 denotes 孟加拉國 |