| Armenia(armenia)
| | Armenia, Hayastan, Republic_of_Armenia |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2961-2961 | Armenian dram is a currency type of armenia |
| 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 | Country in transition is an economy type of armenia |
| 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 | Armenia is a geographic subregion of southwestern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 631-631 | Armenia is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3682-3682 | Yerevan armenia is a geographic subregion of armenia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4190-4190 | Armenia has name "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" in ISO-3166-1-alpha-2 denotes armenia |
|
|
|