Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

  ISO_4217_A

 Sigma KEE - ISO_4217_A
ISO_4217_A(ISO_4217_A)

appearance as argument number 1
-------------------------


(codeMapping ISO_4217_A "AED" UnitedArabEmirateDirham) Media.kif 2329-2329 "AED" in ISO_4217_A denotes united arab emirate dirham
(codeMapping ISO_4217_A "AFA" AfghanAfghani) Media.kif 2330-2330 "AFA" in ISO_4217_A denotes afghan afghani
(codeMapping ISO_4217_A "ALL" AlbanianLek) Media.kif 2331-2331 "ALL" in ISO_4217_A denotes albanian lek
(codeMapping ISO_4217_A "AMD" ArmenianDram) Media.kif 2332-2332 "AMD" in ISO_4217_A denotes armenian dram
(codeMapping ISO_4217_A "AOA" AngolanKwanza) Media.kif 2334-2334 "AOA" in ISO_4217_A denotes angolan kwanza
(codeMapping ISO_4217_A "ATS" AustrianSchilling) Media.kif 2336-2336 "ATS" in ISO_4217_A denotes austrian schilling
(codeMapping ISO_4217_A "AUD" AustralianDollar) Media.kif 2300-2300 "AUD" in ISO_4217_A denotes australian dollar
(codeMapping ISO_4217_A "AZM" AzerbaijaniManat) Media.kif 2338-2338 "AZM" in ISO_4217_A denotes azerbaijani manat
(codeMapping ISO_4217_A "BBD" BarbadosDollar) Media.kif 2340-2340 "BBD" in ISO_4217_A denotes barbados dollar
(codeMapping ISO_4217_A "BDT" BangladeshiTaka) Media.kif 2341-2341 "BDT" in ISO_4217_A denotes bangladeshi taka
(codeMapping ISO_4217_A "BEF" BelgianFranc) Media.kif 2342-2342 "BEF" in ISO_4217_A denotes belgian franc
(codeMapping ISO_4217_A "BGN" BulgarianLev) Media.kif 2343-2343 "BGN" in ISO_4217_A denotes bulgarian lev
(codeMapping ISO_4217_A "BHD" BahrainianDinar) Media.kif 2344-2344 "BHD" in ISO_4217_A denotes bahrainian dinar
(codeMapping ISO_4217_A "BIF" BurundiFranc) Media.kif 2345-2345 "BIF" in ISO_4217_A denotes burundi franc
(codeMapping ISO_4217_A "BMD" BermudaDollar) Media.kif 2346-2346 "BMD" in ISO_4217_A denotes bermuda dollar
(codeMapping ISO_4217_A "BND" BruneiDollar) Media.kif 2347-2347 "BND" in ISO_4217_A denotes brunei dollar
(codeMapping ISO_4217_A "BOB" BolivianBoliviano) Media.kif 2348-2348 "BOB" in ISO_4217_A denotes bolivian boliviano
(codeMapping ISO_4217_A "BRL" BrazilianReal) Media.kif 2350-2350 "BRL" in ISO_4217_A denotes brazilian real
(codeMapping ISO_4217_A "BSD" BahamianDollar) Media.kif 2351-2351 "BSD" in ISO_4217_A denotes bahamian dollar
(codeMapping ISO_4217_A "BTN" BhutaneseNgultrum) Media.kif 2352-2352 "BTN" in ISO_4217_A denotes bhutanese ngultrum
(codeMapping ISO_4217_A "BWP" BotswanaPula) Media.kif 2301-2301 "BWP" in ISO_4217_A denotes botswana pula
(codeMapping ISO_4217_A "BYR" BelarusianRubel) Media.kif 2353-2353 "BYR" in ISO_4217_A denotes belarusian rubel
(codeMapping ISO_4217_A "BZD" BelizeDollar) Media.kif 2354-2354 "BZD" in ISO_4217_A denotes belize dollar
(codeMapping ISO_4217_A "CAD" CanadianDollar) Media.kif 2302-2302 "CAD" in ISO_4217_A denotes canadian dollar
(codeMapping ISO_4217_A "CDF" CongoFranc) Media.kif 2355-2355 "CDF" in ISO_4217_A denotes congo franc

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ISO_4217_A "ISO_4217_A") domainEnglishFormat.kif 65000-65000

antecedent
-------------------------


(=>
    (and
        (codeMapping ISO_4217_A ?A3 ?CURRENCY)
        (codeMapping ISO_3166_1_alpha_2 ?A2 ?AREA)
        (instance ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))		 Media.kif 2891-2897
(=>
    (codeMapping ISO_4217_A ?TOKEN ?CURRENCY)
    (currencyCode ?TOKEN ?CURRENCY))		 Media.kif 2318-2320
(=>
    (codeMapping ISO_4217_A ?TOKEN ?X)
    (and
        (instance ?X UnitOfMeasure)
        (stringLength 3 ?TOKEN)
        (instance ?TOKEN AlphabeticString)))		 Media.kif 2288-2293

consequent
-------------------------


(=>
    (currencyCode ?TOKEN ?CURRENCY)
    (codeMapping ISO_4217_A ?TOKEN ?CURRENCY))		 Media.kif 2322-2324


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners