Austria
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2969-2969 | currencyType Austria and EuroDollar |
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 | economyType Austria and AdvancedEconomy |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | economyType Austria and DevelopedCountry |
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 | geographicSubregion Austria and CentralEurope |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | Austria est une instance de nation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3163-3163 | Austria est un membre de EuropeanMonetaryUnion |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2882-2882 | geographicSubregion GrazAustria and Austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3331-3331 | geographicSubregion OberwartAustria and Austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3645-3645 | geographicSubregion ViennaAustria and Austria |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4018-4018 | Austria s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "AT" and Austria |