|
|
  UnitedArabEmirates
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3559-3559 | 阿拉伯联合酋长国迪拉姆 是 阿拉伯联合酋长国 的 currency 类别 |
| 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 | 发展中国家 是 阿拉伯联合酋长国 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 340-340 | 较未发达国家 是 阿拉伯联合酋长国 的 economy 类别 |
| 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 | 阿拉伯联合酋长国 是 中东地区 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 267-267 | 阿拉伯联合酋长国 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4014-4014 | 阿拉伯联合酋长国 的名 是 "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 | "AE" 在 ISO-3166-1-alpha-2 denotes 阿拉伯联合酋长国 |
|
|
|
