|
|
  Namibia
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1304-1304 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 686-686 | economyType Namibia and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 302-302 | economyType Namibia and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 612-612 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 175-175 | geographicSubregion Namibia and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 176-176 | Namibia est une instance de nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3971-3971 | Namibia s'appele nom "Namibia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39677-39677 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39676-39676 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39675-39675 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2763-2763 | codeMapping ISO-3166-1-alpha-2, "NA" and Namibia |
|
|
|
