WesternSahara
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3725-3725 | claimedTerritory WesternSahara and Morocco |
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 | geographicSubregion WesternSahara and NorthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4238-4238 | WesternSahara est une instance de secteur g�opolitique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 132-132 | WesternSahara est une instance de nation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3953-3953 | WesternSahara s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "EH" and WesternSahara |