| Italy(意大利)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2899-2899 | 欧元 是 意大利 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1266-1266 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 548-548 | 发达经济 是 意大利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 162-162 | 发达国家 是 意大利 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 524-524 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 335-335 | 意大利 是 南欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 336-336 | 意大利 是 欧洲国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | 意大利 是 欧洲货币联盟 的 member |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | 意大利 是 意大利罗马 的 capital 城市 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2665-2665 | 博洛尼亚意大利 是 意大利 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3234-3234 | 米兰意大利 是 意大利 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3444-3444 | 意大利罗马 是 意大利 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4046-4046 | 意大利 的名 是 "Italy" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31279-31279 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31278-31278 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31277-31277 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2725-2725 | "IT" 在 ISO-3166-1-alpha-2 denotes 意大利 |
|
|
|