|
|
  BurkinaFaso
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3037-3037 | currencyType BurkinaFaso and BurkinaFasoFranc |
| 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 | geographicSubregion BurkinaFaso and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | BurkinaFaso e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3980-3980 | BurkinaFaso se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso |
|
|
|
