| Austria(austria)
| | Austria, Oesterreich, Republic_of_Austria |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2979-2979 | 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 531-531 | 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 3179-3179 | 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 9123-9123 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9122-9122 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9121-9121 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2638-2638 | "AT" in ISO-3166-1-alpha-2 denotes austria |
|
|
|