Somalia |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3463-3463 | currencyType Somalia and SomalianShilling |
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 | economyType Somalia and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 327-327 | economyType Somalia and LessDevelopedCountry |
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 | geographicSubregion Somalia and EasternAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 108-108 | Somalia e' uma instancia de Nacao |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5171-5171 | Somalia encontra GulfOfAden |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2634-2634 | geographicSubregion BeledweyneSomalia and Somalia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2721-2721 | geographicSubregion ChisimayuSomalia and Somalia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2829-2829 | geographicSubregion ElayoSomalia and Somalia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3942-3942 | Somalia se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "SO" and Somalia |