|
|
  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 | 例 沙特阿拉伯 and Nation |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4805-4805 | 空間的符合 沙特阿拉伯 and 紅海 |
| 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" and 沙特阿拉伯 |
| 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 沙特阿拉伯 |
|
|
|
