| CostaRicanColon(costa rican colon)
| | Costa_Rican_colon, colon |
| appearance as argument number 1 |
|
|
| (externalImage CostaRicanColon "http://upload.wikimedia.org/wikipedia/en/ 1/ 12/ 1000lado1.jpg") | pictureList.kif 3835-3835 | |
| (externalImage CostaRicanColon "http://upload.wikimedia.org/wikipedia/en/ b/ bf/ 1000lado2.jpg") | pictureList.kif 3834-3834 | |
| (instance CostaRicanColon UnitOfCurrency) | Economy.kif 3198-3198 | Costa rican colon is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyType CostaRica CostaRicanColon) | Economy.kif 3200-3200 | Costa rican colon is a currency type of costa rica |
| (termFormat ChineseLanguage CostaRicanColon "哥斯达黎加结肠") | domainEnglishFormat.kif 17477-17477 | Costa rican colon is a currency type of costa rica |
| (termFormat ChineseTraditionalLanguage CostaRicanColon "哥斯達黎加結腸") | domainEnglishFormat.kif 17476-17476 | Costa rican colon is a currency type of costa rica |
| (termFormat EnglishLanguage CostaRicanColon "costa rican colon") | domainEnglishFormat.kif 17475-17475 | Costa rican colon is a currency type of costa rica |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-4217-A "CRC" CostaRicanColon) | Media.kif 2358-2358 | "CRC" in ISO-4217-A denotes costa rican colon |
|
|
|