No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3201-3201 |
currencyType Hungary and HungarianForint |
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 |
economyType Hungary and CountryInTransition |
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 |
geographicSubregion Hungary and CentralEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 282-282 |
Hungary est une instance de nation |