| Angola(安哥拉)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2953-2953 | 安哥拉寬扎 是 安哥拉 的 currency 類別 |
| 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 | 發展中國家 是 安哥拉 的 economy 類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 233-233 | 較未發達國家 是 安哥拉 的 economy 類別 |
| 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 | 安哥拉 是 非洲南部 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | 例 安哥拉 and Nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2689-2689 | Cabinda 安哥拉 是 安哥拉 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2725-2725 | Choba 安哥拉 是 安哥拉 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3148-3148 | 羅安達安哥拉 是 安哥拉 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3152-3152 | Lunda norte 安哥拉 是 安哥拉 的 geographic 次要地區 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3955-3955 | 名 "Angola" and 安哥拉 |
| 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" 在 ISO-3166-1-alpha-2 denotes 安哥拉 |
|
|
|