|
|
  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 |
|
|
|
