| BurkinaFaso(布基納法索)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3037-3037 | 布基納法索法郎 是 布基納法索 的 currency 類別 |
| 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 | 布基納法索 是 西非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | 例 布基納法索 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3980-3980 | 名 "Burkina Faso" and 布基納法索 |
| 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" 在 ISO-3166-1-alpha-2 denotes 布基納法索 |
|
|
|