| IvoryCoastFranc | |
| appearance as argument number 1 |
|
|
| (instance IvoryCoastFranc UnitOfCurrency) | Economy.kif 3231-3231 | IvoryCoastFranc は UnitOfCurrency の instance では %n |
| appearance as argument number 2 |
|
|
| (currencyType CoteDIvoire IvoryCoastFranc) | Economy.kif 3233-3233 | currencyType CoteDIvoire and IvoryCoastFranc |
| (termFormat ChineseLanguage IvoryCoastFranc "象牙海岸法郎") | domainEnglishFormat.kif 31327-31327 | |
| (termFormat ChineseTraditionalLanguage IvoryCoastFranc "象牙海岸法郎") | domainEnglishFormat.kif 31326-31326 | |
| (termFormat EnglishLanguage IvoryCoastFranc "ivory coast franc") | domainEnglishFormat.kif 31325-31325 |
|
|
|