|
|
  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 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 | codeMapping ISO-3166-1-alpha-2, "SO" and Somalia |
|
|
|
