| Bulgaria(保加利亚)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3033-3033 | 保加利亚列弗 是 保加利亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1201-1201 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 579-579 | 转型国家 是 保加利亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 299-299 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 374-374 | 保加利亚 是 东南欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | 保加利亚 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4066-4066 | 保加利亚 的名 是 "Bulgaria" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12287-12287 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12286-12286 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 12285-12285 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2659-2659 | "BG" 在 ISO-3166-1-alpha-2 denotes 保加利亚 |
|
|
|