| Ireland(ireland)
| | Eire, Ireland, Irish, Irish_Republic, Republic_of_Ireland |
| appearance as argument number 1 |
|
|
| (currencyType Ireland EuroDollar) | Economy.kif 3435-3435 | Euro dollar is a currency type of ireland |
| (documentation Ireland EnglishLanguage "An independent Nation that borders on the Irish Sea.") | CountriesAndRegions.kif 1264-1264 | Euro dollar is a currency type of ireland |
| (economyType Ireland AdvancedEconomy) | Economy.kif 546-546 | Advanced economy is an economy type of ireland |
| (economyType Ireland DevelopedCountry) | Economy.kif 160-160 | Developed country is an economy type of ireland |
| (externalImage Ireland "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Ireland.png") | pictureList.kif 520-520 | Developed country is an economy type of ireland |
| (geographicSubregion Ireland WesternEurope) | CountriesAndRegions.kif 353-353 | Ireland is a geographic subregion of western europe |
| (instance Ireland EuropeanNation) | CountriesAndRegions.kif 354-354 | Ireland is an instance of european nation |
| (member Ireland EuropeanMonetaryUnion) | Government.kif 3169-3169 | Ireland is a member of european monetary union |
| (orientation Ireland Wales West) | Geography.kif 7034-7034 | Ireland is west to Wales |
| appearance as argument number 2 |
|
|
| (geographicSubregion DublinIreland Ireland) | CountriesAndRegions.kif 2798-2798 | Dublin ireland is a geographic subregion of ireland |
| (geographicSubregion PortadownIreland Ireland) | CountriesAndRegions.kif 3397-3397 | Portadown ireland is a geographic subregion of ireland |
| (names "Ireland" Ireland) | CountriesAndRegions.kif 4053-4053 | Ireland has name "Ireland" |
| (termFormat ChineseLanguage Ireland "爱尔兰") | domainEnglishFormat.kif 31019-31019 | Ireland has name "Ireland" |
| (termFormat ChineseTraditionalLanguage Ireland "愛爾蘭") | domainEnglishFormat.kif 31018-31018 | Ireland has name "Ireland" |
| (termFormat EnglishLanguage Ireland "ireland") | domainEnglishFormat.kif 31017-31017 | Ireland has name "Ireland" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "IE" Ireland) | Media.kif 2718-2718 | "IE" in ISO_3166_1_alpha_2 denotes ireland |
|
|
|