|
|
  Jordan
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3241-3241 | 約旦第納爾 是 約旦 的 currency 類別 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1269-1269 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 664-664 | 發展中國家 是 約旦 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 280-280 | 較未發達國家 是 約旦 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 531-531 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 252-252 | 約旦 是 中東地區 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 253-253 | 例 約旦 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2528-2528 | 安曼，約旦 是 約旦 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4007-4007 | 名 "Jordan" and 約旦 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31771-31771 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31770-31770 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31769-31769 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2728-2728 | "JO" 在 ISO-3166-1-alpha-2 denotes 約旦 |
|
|
|
