|
|
  GuineaBissau
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3177-3177 | currencyType GuineaBissau and GuineaBissauPeso |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1251-1251 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 655-655 | economyType GuineaBissau and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 271-271 | economyType GuineaBissau and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 483-483 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 211-211 | geographicSubregion GuineaBissau and WesternAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 212-212 | GuineaBissau e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3989-3989 | GuineaBissau se chama nome "Guinea Bissau" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26994-26994 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26993-26993 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26992-26992 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2711-2711 | codeMapping ISO-3166-1-alpha-2, "GW" and GuineaBissau |
|
|
|
