| 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 | 安哥拉 是 国家 的 instance |
| 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" |
| 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 安哥拉 |
|
|
|