| Bulgaria(bulgaria)
| | Bulgaria, Republic_of_Bulgaria |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3033-3033 | Bulgarian lev is a currency type of bulgaria |
| 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 | Country in transition is an economy type of bulgaria |
| 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 | Bulgaria is a geographic subregion of southeastern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | Bulgaria is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4066-4066 | Bulgaria has name "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" in ISO-3166-1-alpha-2 denotes bulgaria |
|
|
|