|
|
  Italy
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2899-2899 | Euro dollar is a currency type of italy |
| 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 | Advanced economy is an economy type of italy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 162-162 | Developed country is an economy type of italy |
| 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 | Italy is a geographic subregion of southern europe |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 336-336 | Italy is an instance of european nation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3208-3208 | Italy is a member of european monetary union |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | Italy is a capital city of rome italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2665-2665 | Bologna italy is a geographic subregion of italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3234-3234 | Milan italy is a geographic subregion of italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3444-3444 | Rome italy is a geographic subregion of italy |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4046-4046 | Italy has name "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" in ISO-3166-1-alpha-2 denotes italy |
|
|
|
