![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3249-3249 | currencyType Kenya and KenyanShilling |
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 | economyType Kenya and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 281-281 | economyType Kenya and LessDevelopedCountry |
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 | geographicSubregion Kenya and EasternAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 104-104 | Kenya e' uma instancia de Nacao |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3247-3247 | geographicSubregion MombassaKenya and Kenya |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3284-3284 | geographicSubregion NairobiKenya and Kenya |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3940-3940 | Kenya se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "KE" and Kenya |
![]() |
![]() |