| Armenia(亚美尼亚)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2961-2961 | 亚美尼亚德拉姆 是 亚美尼亚 的 currency 类别 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1183-1183 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 575-575 | 转型国家 是 亚美尼亚 的 economy 类别 |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 235-235 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 630-630 | 亚美尼亚 是 西南亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 631-631 | 亚美尼亚 是 国家 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3682-3682 | 耶烈万亚美尼亚 是 亚美尼亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4190-4190 | 亚美尼亚 的名 是 "Armenia" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8394-8394 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8393-8393 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8392-8392 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2647-2647 | "AM" 在 ISO-3166-1-alpha-2 denotes 亚美尼亚 |
|
|
|