| DhakaBangladesh(dhaka bangladesh) | | Dacca, Dhaka, capital_of_Bangladesh |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1665-1665 | |
| 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 1664-1664 | Dhaka bangladesh is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2780-2780 | Dhaka bangladesh has name "Dhaka" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19372-19372 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19371-19371 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19370-19370 |
|
|
|