WesternSahara
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3725-3725 | 摩洛哥 是 西撒哈拉 的 claimed 領土 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 837-837 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 131-131 | 西撒哈拉 是 北非 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4238-4238 | 例 西撒哈拉 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 132-132 | 例 西撒哈拉 and Nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3953-3953 | 名 "Western Sahara" and 西撒哈拉 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62837-62837 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62836-62836 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62835-62835 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2887-2887 | "EH" 在 ISO-3166-1-alpha-2 denotes 西撒哈拉 |