Colombia(colombia) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3403-3403 | Puerto lleras colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3456-3456 | Sabatena colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3476-3476 | San diego colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3480-3480 | San luis colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3484-3484 | San pablo colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3492-3492 | Santa marta colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3507-3507 | Segovia colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3635-3635 | UWa indian reservation colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3630-3630 | Urra colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3639-3639 | Valledupar colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3649-3649 | Villavicencio colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3688-3688 | Yopal colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3707-3707 | Zulia colombia is a geographic subregion of colombia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4127-4127 | Colombia has name "Colombia" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15642-15642 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15641-15641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15640-15640 |