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 est une instance de nation |