|
|
  Nicaragua
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3361-3361 | currencyType Nicaragua and NicaraguanCordoba |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1309-1309 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 689-689 | economyType Nicaragua and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 305-305 | economyType Nicaragua and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 625-625 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 484-484 | geographicSubregion Nicaragua and MiddleAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 485-485 | Nicaragua e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4119-4119 | Nicaragua se chama nome "Nicaragua" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40467-40467 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40466-40466 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40465-40465 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2782-2782 | codeMapping ISO-3166-1-alpha-2, "NI" and Nicaragua |
|
|
|
