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 | 孟加拉国 是 国家 的 instance |
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" |
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 孟加拉国 |