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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ISO-4217-A
ISO-4217-A

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


s__codeMapping(s__ISO_4217_A,'AED',s__UnitedArabEmirateDirham)

Media.kif 2322-2322
s__codeMapping(s__ISO_4217_A,'AFA',s__AfghanAfghani)

Media.kif 2323-2323
s__codeMapping(s__ISO_4217_A,'ALL',s__AlbanianLek)

Media.kif 2324-2324
s__codeMapping(s__ISO_4217_A,'AMD',s__ArmenianDram)

Media.kif 2325-2325
s__codeMapping(s__ISO_4217_A,'AOA',s__AngolanKwanza)

Media.kif 2327-2327
s__codeMapping(s__ISO_4217_A,'ATS',s__AustrianSchilling)

Media.kif 2329-2329
s__codeMapping(s__ISO_4217_A,'AUD',s__AustralianDollar)

Media.kif 2293-2293
s__codeMapping(s__ISO_4217_A,'AZM',s__AzerbaijaniManat)

Media.kif 2331-2331
s__codeMapping(s__ISO_4217_A,'BBD',s__BarbadosDollar)

Media.kif 2333-2333
s__codeMapping(s__ISO_4217_A,'BDT',s__BangladeshiTaka)

Media.kif 2334-2334
s__codeMapping(s__ISO_4217_A,'BEF',s__BelgianFranc)

Media.kif 2335-2335
s__codeMapping(s__ISO_4217_A,'BGN',s__BulgarianLev)

Media.kif 2336-2336
s__codeMapping(s__ISO_4217_A,'BHD',s__BahrainianDinar)

Media.kif 2337-2337
s__codeMapping(s__ISO_4217_A,'BIF',s__BurundiFranc)

Media.kif 2338-2338
s__codeMapping(s__ISO_4217_A,'BMD',s__BermudaDollar)

Media.kif 2339-2339
s__codeMapping(s__ISO_4217_A,'BND',s__BruneiDollar)

Media.kif 2340-2340
s__codeMapping(s__ISO_4217_A,'BOB',s__BolivianBoliviano)

Media.kif 2341-2341
s__codeMapping(s__ISO_4217_A,'BRL',s__BrazilianReal)

Media.kif 2343-2343
s__codeMapping(s__ISO_4217_A,'BSD',s__BahamianDollar)

Media.kif 2344-2344
s__codeMapping(s__ISO_4217_A,'BTN',s__BhutaneseNgultrum)

Media.kif 2345-2345
s__codeMapping(s__ISO_4217_A,'BWP',s__BotswanaPula)

Media.kif 2294-2294
s__codeMapping(s__ISO_4217_A,'BYR',s__BelarusianRubel)

Media.kif 2346-2346
s__codeMapping(s__ISO_4217_A,'BZD',s__BelizeDollar)

Media.kif 2347-2347
s__codeMapping(s__ISO_4217_A,'CAD',s__CanadianDollar)

Media.kif 2295-2295
s__codeMapping(s__ISO_4217_A,'CDF',s__CongoFranc)

Media.kif 2348-2348

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__A3,V__CURRENCY,V__A2,V__AREA] :
   ((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY)
     &
     s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA)
   &
   s__subclass(V__AREA,s__GeopoliticalArea) &
   (V__A2 = s__SubstringFn(V__A3,0,2)))
=>
s__currencyType(V__AREA,V__CURRENCY))
)

Media.kif 2859-2865
( ! [V__TOKEN,V__CURRENCY] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__CURRENCY)
   =>
   s__currencyCode(V__TOKEN,V__CURRENCY))
)

Media.kif 2311-2313
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__UnitOfMeasure) &
     s__stringLength(3,V__TOKEN)
   &
   s__instance(V__TOKEN,s__AlphabeticString)))
)

Media.kif 2281-2286

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


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

Media.kif 2315-2317


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners