|
|
  SaudiArabia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3437-3437 | 沙特阿拉伯里亚尔 是 沙特阿拉伯 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1340-1340 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 706-706 | 发展中国家 是 沙特阿拉伯 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 322-322 | 较未发达国家 是 沙特阿拉伯 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1558-1558 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 715-715 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 262-262 | 沙特阿拉伯 是 中东地区 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 263-263 | 沙特阿拉伯 是 国家 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4805-4805 | 沙特阿拉伯 接上 红海 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2777-2777 | Dhahran沙特阿拉伯 是 沙特阿拉伯 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3003-3003 | 朱拜勒沙特阿拉伯 是 沙特阿拉伯 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3063-3063 | Khobar沙特阿拉伯 是 沙特阿拉伯 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3212-3212 | 麦加沙特阿拉伯 是 沙特阿拉伯 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3440-3440 | 沙特阿拉伯，利雅得 是 沙特阿拉伯 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4012-4012 | 沙特阿拉伯 的名 是 "Saudi Arabia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51321-51321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51320-51320 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51319-51319 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2805-2805 | "SA" 在 ISO-3166-1-alpha-2 denotes 沙特阿拉伯 |
|
|
|
