|
|
  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 | 奥地利 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3163-3163 | 奥地利 是 欧洲货币联盟 的 member |
| 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" |
| 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 奥地利 |
|
|
|
