|
|
  Colombia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | Colombian peso is a currency type of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1215-1215 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 634-634 | Developing country is an economy type of colombia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | Less developed country is an economy type of colombia |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 358-358 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5226-5226 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5113-5113 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5230-5230 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5227-5227 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5229-5229 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 503-503 | Colombia is a geographic subregion of northern south america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 504-504 | Colombia is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2610-2610 | Barrancabermeja colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2663-2663 | Bogota colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2678-2678 | Bucaramanga colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2697-2697 | Cali colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2707-2707 | Carmen de bolivar colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2709-2709 | Carrejon colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2727-2727 | Choco colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2738-2738 | Colombia city colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2756-2756 | Cundi namarca colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2758-2758 | Cupiagua colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2821-2821 | El bagre colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2825-2825 | El playon colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2845-2845 | Formeque colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2853-2853 | Fusagasusa colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3099-3099 | La guajira colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3146-3146 | Los katios national park colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3168-3168 | Magdalena colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3218-3218 | Medellin colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3228-3228 | Meta colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3243-3243 | Mitu colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3270-3270 | Mutata colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3322-3322 | Norte de santander colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3346-3346 | Olaya herrera colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3379-3379 | Papayin colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3401-3401 | Puerto alvira colombia is a geographic subregion of colombia |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2679-2679 | "CO" in ISO-3166-1-alpha-2 denotes colombia |
|
|
|
