| 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 | 撒哈拉沙漠西部 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 132-132 | 撒哈拉沙漠西部 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3953-3953 | 撒哈拉沙漠西部 的名 是 "Western Sahara" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62835-62835 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62834-62834 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62833-62833 |
| 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 撒哈拉沙漠西部 |
|
|
|