currencyCode - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__currencyCode__m,s__EnglishLanguage,'(currencyCode ?CODE ?UNIT) means that ?CODE is the InternationalOrganizationForStandardization (ISO) 4217 alphabetic currency code for the national CurrencyMeasure ?UNIT.')	Economy.kif 3621-3624
s__domain(s__currencyCode__m,1,s__SymbolicString)	Economy.kif 3617-3617	The number 1 argument of currency code is an instance of symbolic string
s__domain(s__currencyCode__m,2,s__UnitOfCurrency)	Economy.kif 3618-3618	The number 2 argument of currency code is an instance of UnitOfCurrency
s__instance(s__currencyCode__m,s__BinaryPredicate)	Economy.kif 3616-3616	currency code is an instance of binary predicate
s__subrelation(s__currencyCode__m,s__abbreviation__m)	Economy.kif 3619-3619	currency code is a subrelation of abbreviation

appearance as argument number 2

s__format(s__EnglishLanguage,s__currencyCode__m,'%2 is %n a currency code of %1')	domainEnglishFormat.kif 157-157
s__termFormat(s__EnglishLanguage,s__currencyCode__m,'currency code')	domainEnglishFormat.kif 3431-3431	"currency code" is the printable form of currency code in english language

antecedent

( ! [V__TOKEN,V__CURRENCY] :
   (s__currencyCode(V__TOKEN,V__CURRENCY)
   =>
   s__codeMapping(s__ISO_4217_A,V__TOKEN,V__CURRENCY))
)

Media.kif 2315-2317

consequent

( ! [V__TOKEN,V__CURRENCY] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__CURRENCY)
   =>
   s__currencyCode(V__TOKEN,V__CURRENCY))
)

Media.kif 2311-2313