| Kenya(kenya)
| | Kenya, Republic_of_Kenya |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3249-3249 | Kenyan shilling is a currency type of kenya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1271-1271 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 665-665 | Developing country is an economy type of kenya |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 281-281 | Less developed country is an economy type of kenya |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 536-536 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 103-103 | Kenya is a geographic subregion of eastern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 104-104 | Kenya is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3247-3247 | Mombassa kenya is a geographic subregion of kenya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3284-3284 | Nairobi kenya is a geographic subregion of kenya |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3940-3940 | Kenya has name "Kenya" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32317-32317 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32316-32316 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32315-32315 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2730-2730 | "KE" in ISO-3166-1-alpha-2 denotes kenya |
|
|
|