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 |