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 est une instance de nation |
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 s'appele nom "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 |