|
|
  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 | 波多黎各哥伦比亚 是 城市 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3404-3404 | 波多黎各哥伦比亚 的名 是 "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 |
|
|
|
