| Somalia(somalia)
| | Somalia |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3463-3463 | Somalian shilling is a currency type of somalia |
| 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 | Developing country is an economy type of somalia |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 327-327 | Less developed country is an economy type of somalia |
| 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 | Somalia is a geographic subregion of eastern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 108-108 | Somalia is an instance of nation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5171-5171 | Somalia meets gulf of aden |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2634-2634 | Beledweyne somalia is a geographic subregion of somalia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2721-2721 | Chisimayu somalia is a geographic subregion of somalia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2829-2829 | Elayo somalia is a geographic subregion of somalia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3942-3942 | Somalia has name "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 | "SO" in ISO-3166-1-alpha-2 denotes somalia |
|
|
|