Djibouti |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3105-3105 | currencyType Djibouti and DjiboutiFranc |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1225-1225 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 640-640 | economyType Djibouti and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 256-256 | economyType Djibouti and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 391-391 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 97-97 | geographicSubregion Djibouti and EasternAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 98-98 | Djibouti e' uma instancia de Nacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3937-3937 | Djibouti se chama nome "Djibouti" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20016-20016 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20015-20015 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20014-20014 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2686-2686 | codeMapping ISO-3166-1-alpha-2, "DJ" and Djibouti |