Botswana(botswana) | Botswana, Republic_of_Botswana |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3021-3021 | Botswana pula is a currency type of botswana |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1198-1198 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 283-283 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 155-155 | Botswana is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 156-156 | Botswana is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3957-3957 | Botswana has name "Botswana" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11723-11723 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11722-11722 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11721-11721 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2668-2668 | "BW" in ISO-3166-1-alpha-2 denotes botswana |