| SanLuisColombia(san luis colombia)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2282-2282 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1348-1348 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3480-3480 | San luis colombia is a geographic subregion of colombia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2281-2281 | San luis colombia is an instance of city |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3481-3481 | San luis colombia has name "San Luis" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51141-51141 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51140-51140 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51139-51139 |
|
|
|