BurkinaFaso
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3037-3037 | Burkina faso franc is a currency type of burkina faso |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1202-1202 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 303-303 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 193-193 | Burkina faso is a geographic subregion of western africa |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | Burkina faso is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3980-3980 | Burkina faso has name "Burkina Faso" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12367-12367 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12366-12366 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12365-12365 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2658-2658 | "BF" in ISO-3166-1-alpha-2 denotes burkina faso |