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 60046-60046 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60045-60045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60044-60044 |
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 |