|
|
  flagState
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3077-3077 | currencyType Colombia and ColombianPeso |
| 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 | economyType Colombia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 250-250 | economyType Colombia and LessDevelopedCountry |
| 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 | geographicSubregion Colombia and NorthernSouthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 504-504 | Colombia est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2610-2610 | geographicSubregion BarrancabermejaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2663-2663 | geographicSubregion BogotaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2678-2678 | geographicSubregion BucaramangaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2697-2697 | geographicSubregion CaliColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2707-2707 | geographicSubregion CarmenDeBolivarColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2709-2709 | geographicSubregion CarrejonColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2727-2727 | geographicSubregion ChocoColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2738-2738 | geographicSubregion ColombiaCityColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2756-2756 | geographicSubregion CundiNamarcaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2758-2758 | geographicSubregion CupiaguaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2821-2821 | geographicSubregion ElBagreColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2825-2825 | geographicSubregion ElPlayonColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2845-2845 | geographicSubregion FormequeColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2853-2853 | geographicSubregion FusagasusaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3099-3099 | geographicSubregion LaGuajiraColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3146-3146 | geographicSubregion LosKatiosNationalParkColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3168-3168 | geographicSubregion MagdalenaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3218-3218 | geographicSubregion MedellinColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3228-3228 | geographicSubregion MetaColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3243-3243 | geographicSubregion MituColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3270-3270 | geographicSubregion MutataColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3322-3322 | geographicSubregion NorteDeSantanderColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3346-3346 | geographicSubregion OlayaHerreraColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3379-3379 | geographicSubregion PapayinColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3401-3401 | geographicSubregion PuertoAlviraColombia and 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 | codeMapping ISO-3166-1-alpha-2, "CO" and Colombia |
|
|
|
