Austria
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2969-2969 | Euro dollar is a currency type of austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1186-1186 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 536-536 | Advanced economy is an economy type of austria |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | Developed country is an economy type of austria |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 246-246 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 275-275 | Austria is a geographic subregion of central europe |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | Austria is an instance of nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | Austria is a member of european monetary union |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2882-2882 | Graz austria is a geographic subregion of austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3331-3331 | Oberwart austria is a geographic subregion of austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3645-3645 | Vienna austria is a geographic subregion of austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4018-4018 | Austria has name "Austria" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9114-9114 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9113-9113 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9112-9112 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2650-2650 | "AT" in ISO-3166-1-alpha-2 denotes austria |