|
|
  PuertoLlerasColombia
|
|
|
| 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 | geographicSubregion PuertoLlerasColombia and Colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2211-2211 | PuertoLlerasColombia est une instance de ville |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3404-3404 | PuertoLlerasColombia s'appele nom "Puerto Lleras" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48052-48052 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48051-48051 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48050-48050 |
|
|
|
