| Somalia(索馬里)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3463-3463 | 索馬里先令 是 索馬里 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1349-1349 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 711-711 | 發展中國家 是 索馬里 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 327-327 | 較未發達國家 是 索馬里 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 744-744 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 107-107 | 索馬里 是 東非 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 108-108 | 例 索馬里 and Nation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5171-5171 | 空間的符合 索馬里 and 腺嘌呤 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2634-2634 | Beledweyne索馬里 是 索馬里 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2721-2721 | Chisimayu索馬里 是 索馬里 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2829-2829 | Elayo索馬里 是 索馬里 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3942-3942 | 名 "Somalia" and 索馬里 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53916-53916 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53915-53915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53914-53914 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2814-2814 | "SO" 在 ISO-3166-1-alpha-2 denotes 索馬里 |
|
|
|