| PuertoLlerasColombia(puerto lleras colombia)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2212-2212 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1346-1346 | |
| 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 2211-2211 | Puerto lleras colombia is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3404-3404 | Puerto lleras colombia has name "Puerto Lleras" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48050-48050 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48049-48049 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48048-48048 |
|
|
|