|
|
  UnitedArabEmirates
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3559-3559 | currencyType UnitedArabEmirates and UnitedArabEmirateDirham |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1375-1375 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 724-724 | economyType UnitedArabEmirates and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 340-340 | economyType UnitedArabEmirates and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 811-811 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 266-266 | geographicSubregion UnitedArabEmirates and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 267-267 | UnitedArabEmirates e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4014-4014 | UnitedArabEmirates se chama nome "United Arab Emirates" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60044-60044 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60043-60043 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60042-60042 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2834-2834 | codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates |
|
|
|
