| Austria(奧地利)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2969-2969 | 歐元 是 奧地利 的 currency 類別 |
| 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 | 發達經濟 是 奧地利 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 148-148 | 發達國家 是 奧地利 的 economy 類別 |
| 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 | 奧地利 是 歐洲中部 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | 例 奧地利 and Nation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3199-3199 | 會員 奧地利 and 歐洲貨幣聯盟 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2882-2882 | 格拉茨奧地利 是 奧地利 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3331-3331 | 奧伯特奧地利 是 奧地利 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3645-3645 | 維也納，奧地利 是 奧地利 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4018-4018 | 名 "Austria" and 奧地利 |
| 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" 在 ISO-3166-1-alpha-2 denotes 奧地利 |
|
|
|