| Angola(angola)
| | Angola, Republic_of_Angola |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2953-2953 | Angolan kwanza is a currency type of angola |
| 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 | Developing country is an economy type of angola |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | Less developed country is an economy type of angola |
| 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 | Angola is a geographic subregion of southern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | Angola is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2689-2689 | Cabinda angola is a geographic subregion of angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2725-2725 | Choba angola is a geographic subregion of angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3148-3148 | Luanda angola is a geographic subregion of angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3152-3152 | Lunda norte angola is a geographic subregion of angola |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | Angola has name "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 | "AO" in ISO-3166-1-alpha-2 denotes angola |
|
|
|