| IrishPound(irish pound)
| | Irish_pound, Irish_punt, pound, punt |
| appearance as argument number 1 |
|
|
| (externalImage IrishPound "http://upload.wikimedia.org/wikipedia/en/3/3b/ Irish_pound_%28reverse%29.png") | pictureList.kif 4978-4978 | |
| (instance IrishPound UnitOfCurrency) | Economy.kif 3223-3223 | Irish pound is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage IrishPound "爱尔兰镑") | domainEnglishFormat.kif 31009-31009 | |
| (termFormat ChineseTraditionalLanguage IrishPound "愛爾蘭鎊") | domainEnglishFormat.kif 31008-31008 | |
| (termFormat EnglishLanguage IrishPound "irish pound") | domainEnglishFormat.kif 31007-31007 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "IEP" IrishPound) | Media.kif 2391-2391 | "IEP" in ISO-4217-A denotes irish pound |
|
|
|