No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2993-2993 |
Belarusian rubel is a currency type of belarus |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1191-1191 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 577-577 |
Country in transition is an economy type of belarus |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 269-269 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 296-296 |
Belarus is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 297-297 |
Belarus is an instance of nation |