|
|
  Kenya
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3249-3249 | 肯尼亞先令 是 肯尼亞 的 currency 類別 |
| 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 | 發展中國家 是 肯尼亞 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 281-281 | 較未發達國家 是 肯尼亞 的 economy 類別 |
| 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 | 肯尼亞 是 東非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 104-104 | 例 肯尼亞 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3247-3247 | 蒙巴薩肯尼亞 是 肯尼亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3284-3284 | 內羅畢肯尼亞 是 肯尼亞 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3940-3940 | 名 "Kenya" and 肯尼亞 |
| 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" 在 ISO-3166-1-alpha-2 denotes 肯尼亞 |
|
|
|
