No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3201-3201 |
Hungarian forint is a currency type of hungary |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1256-1256 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 584-584 |
Country in transition is an economy type of hungary |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 508-508 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 281-281 |
Hungary is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 282-282 |
Hungary is an instance of nation |