| 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 | 布基纳法索 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3980-3980 | 布基纳法索 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 布基纳法索 |
|
|
|