No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2993-2993 |
currencyType Belarus and BelarusianRubel |
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 |
economyType Belarus and CountryInTransition |
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 |
geographicSubregion Belarus and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 297-297 |
Belarus est une instance de nation |