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 | 索马里 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5171-5171 | 索马里 接上 腺嘌呤 |
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" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53918-53918 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53917-53917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53916-53916 |
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 索马里 |