|
|
  Bulgaria
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3033-3033 | currencyType Bulgaria and BulgarianLev |
| 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 | economyType Bulgaria and CountryInTransition |
| 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 | geographicSubregion Bulgaria and SoutheasternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | Bulgaria e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4066-4066 | Bulgaria se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "BG" and Bulgaria |
|
|
|
