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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyType

Sigma KEE - currencyType
currencyType

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


s__documentation(s__currencyType__m,s__EnglishLanguage,'(currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT.')

Economy.kif 2880-2882
s__domain(s__currencyType__m,1,s__GeopoliticalArea)

Economy.kif 2875-2875
s__domain(s__currencyType__m,2,s__UnitOfCurrency)

Economy.kif 2876-2876
s__instance(s__BinaryPredicate,s__SetOrClass)

Economy.kif 2874-2874
s__instance(s__SingleValuedRelation,s__SetOrClass)

Economy.kif 2878-2878

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


s__format(s__EnglishLanguage,s__currencyType__m,'%2 is %n a currency type of %1')

domainEnglishFormat.kif 162-162
s__termFormat(s__EnglishLanguage,s__currencyType__m,'currency type')

domainEnglishFormat.kif 3437-3437

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


( ! [V__AREA] :
   ((s__instance(V__AREA,s__Nation) &
       s__currencyType(V__AREA,s__EuroDollar))
     =>
     s__member(V__AREA,s__EuropeanMonetaryUnion))
   )

Government.kif 3166-3170

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


( ! [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__AREA] :
   ((s__instance(V__AREA,s__Nation) &
       s__member(V__AREA,s__EuropeanMonetaryUnion))
     =>
     s__currencyType(V__AREA,s__EuroDollar))
   )

Government.kif 3160-3164

appearance as argument number 0
-------------------------


s__currencyType(s__Afghanistan,s__AfghanAfghani)

Economy.kif 2887-2887
s__currencyType(s__Albania,s__AlbanianLek)

Economy.kif 2948-2948
s__currencyType(s__Algeria,s__AlgerianDinar)

Economy.kif 2952-2952
s__currencyType(s__Angola,s__AngolanKwanza)

Economy.kif 2956-2956
s__currencyType(s__Argentina,s__ArgentineAustral)

Economy.kif 2960-2960
s__currencyType(s__Armenia,s__ArmenianDram)

Economy.kif 2964-2964
s__currencyType(s__Australia,s__AustralianDollar)

Economy.kif 2968-2968
s__currencyType(s__Austria,s__EuroDollar)

Economy.kif 2972-2972
s__currencyType(s__Azerbaijan,s__AzerbaijaniManat)

Economy.kif 2976-2976
s__currencyType(s__Bahrain,s__BahrainianDinar)

Economy.kif 2984-2984
s__currencyType(s__Bangladesh,s__BangladeshiTaka)

Economy.kif 2988-2988
s__currencyType(s__Barbados,s__BarbadosDollar)

Economy.kif 2992-2992
s__currencyType(s__Belarus,s__BelarusianRubel)

Economy.kif 2996-2996
s__currencyType(s__Belgium,s__EuroDollar)

Economy.kif 3000-3000
s__currencyType(s__Belize,s__BelizeDollar)

Economy.kif 3004-3004
s__currencyType(s__Benin,s__BeninFranc)

Economy.kif 3008-3008
s__currencyType(s__Bermuda,s__BermudaDollar)

Economy.kif 3012-3012
s__currencyType(s__Bhutan,s__BhutaneseNgultrum)

Economy.kif 3016-3016
s__currencyType(s__Bolivia,s__BolivianBoliviano)

Economy.kif 3020-3020
s__currencyType(s__Botswana,s__BotswanaPula)

Economy.kif 3024-3024
s__currencyType(s__Brazil,s__BrazilianReal)

Economy.kif 3028-3028
s__currencyType(s__Brunei,s__BruneiDollar)

Economy.kif 3032-3032
s__currencyType(s__Bulgaria,s__BulgarianLev)

Economy.kif 3036-3036
s__currencyType(s__BurkinaFaso,s__BurkinaFasoFranc)

Economy.kif 3040-3040
s__currencyType(s__Burundi,s__BurundiFranc)

Economy.kif 3044-3044

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners