| Chile(chile)
| | Chile, Republic_of_Chile |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3079-3079 | 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 627-627 | 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 14499-14499 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14498-14498 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14497-14497 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2664-2664 | "CL" in ISO-3166-1-alpha-2 denotes chile |
|
|
|