|
|
  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 e' uma instancia de Nacao |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | Austria e' membro 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 se chama nome "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 |
|
|
|
