|
|
  Italy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2899-2899 | currencyType Italy and EuroDollar |
| 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 | economyType Italy and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 162-162 | economyType Italy and DevelopedCountry |
| 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 | geographicSubregion Italy and SouthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 336-336 | Italy est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | Italy est un membre de EuropeanMonetaryUnion |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | capitalCity RomeItaly and Italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2665-2665 | geographicSubregion BolognaItaly and Italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3234-3234 | geographicSubregion MilanItaly and Italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3444-3444 | geographicSubregion RomeItaly and Italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4046-4046 | Italy s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "IT" and Italy |
|
|
|
