|
|
  Angola
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2953-2953 | currencyType Angola and AngolanKwanza |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1180-1180 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 617-617 | economyType Angola and DevelopingCountry |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | economyType Angola and LessDevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 223-223 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 152-152 | geographicSubregion Angola and SouthernAfrica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | Angola e' uma instancia de Nacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2689-2689 | geographicSubregion CabindaAngola and Angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2725-2725 | geographicSubregion ChobaAngola and Angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3148-3148 | geographicSubregion LuandaAngola and Angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3152-3152 | geographicSubregion LundaNorteAngola and Angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | Angola se chama nome "Angola" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7506-7506 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7505-7505 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7504-7504 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2648-2648 | codeMapping ISO-3166-1-alpha-2, "AO" and Angola |
|
|
|
