| FrenchFranc | French_franc |
| appearance as argument number 1 |
|
|
| (instance FrenchFranc UnitOfCurrency) | Economy.kif 3224-3224 | FrenchFranc is an instance of UnitOfCurrency |
| appearance as argument number 2 |
|
|
| (currencyValue FrenchFrancCoin FrenchFranc) | Economy.kif 3250-3250 | currencyValue FrenchFrancCoin and FrenchFranc |
| (termFormat ChineseLanguage FrenchFranc "法国法郎") | domainEnglishFormat.kif 24960-24960 | currencyValue FrenchFrancCoin and FrenchFranc |
| (termFormat ChineseTraditionalLanguage FrenchFranc "法國法郎") | domainEnglishFormat.kif 24959-24959 | currencyValue FrenchFrancCoin and FrenchFranc |
| (termFormat EnglishLanguage FrenchFranc "french franc") | domainEnglishFormat.kif 24958-24958 | currencyValue FrenchFrancCoin and FrenchFranc |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_4217_A "FRF" FrenchFranc) | Media.kif 2377-2377 | codeMapping ISO_4217_A, "FRF" and FrenchFranc |
|
|