UnitedArabEmirates
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3559-3559 | United arab emirate dirham is a currency type of united arab emirates |
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 | Developing country is an economy type of united arab emirates |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 340-340 | Less developed country is an economy type of united arab emirates |
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 | United arab emirates is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 267-267 | United arab emirates is an instance of nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4014-4014 | United arab emirates has name "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 | "AE" in ISO-3166-1-alpha-2 denotes united arab emirates |