|
|
  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 | 波多黎各哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2211-2211 | 例 波多黎各哥倫比亞 and City |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3404-3404 | 名 "Puerto Lleras" and 波多黎各哥倫比亞 |
| 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 |
|
|
|
