| SanPabloColombia(san pablo colombia)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2286-2286 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1347-1347 | |
| 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 2285-2285 | San pablo colombia is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3485-3485 | San pablo colombia has name "San Pablo" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51171-51171 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51170-51170 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51169-51169 |
|
|
|