|
|
  Chile
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3069-3069 | Chilean peso is a currency type of chile |
| 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 | Developing country is an economy type of chile |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 248-248 | Less developed country is an economy type of chile |
| 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 | Chile is a geographic subregion of southern south america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 516-516 | Chile is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3925-3925 | Chile is a claimed territory of antarctica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3499-3499 | Santiago chile is a geographic subregion of chile |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4134-4134 | Chile has name "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 | "CL" in ISO-3166-1-alpha-2 denotes chile |
|
|
|
