ISO-4217-A(ISO-4217-A) |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage ISO-4217-A "ISO-4217-A") | domainEnglishFormat.kif 65007-65007 |
antecedent |
![]() |
consequent |
![]() |
(=> (currencyCode ?TOKEN ?CURRENCY) (codeMapping ISO-4217-A ?TOKEN ?CURRENCY)) |
Media.kif 2320-2322 |
|
![]() |
![]() |