|
|
  Chile
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3069-3069 | currencyType Chile and ChileanPeso |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1212-1212 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 632-632 | economyType Chile and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | economyType Chile and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 339-339 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 515-515 | geographicSubregion Chile and SouthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 516-516 | Chile e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | claimedTerritory Antarctica and Chile |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3499-3499 | geographicSubregion SantiagoChile and Chile |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4134-4134 | Chile se chama nome "Chile" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14496-14496 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14495-14495 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14494-14494 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2676-2676 | codeMapping ISO-3166-1-alpha-2, "CL" and Chile |
|
|
|
