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

Formal Language: 



KB Term:  Term intersection
English Word: 

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,n__1,s__GeopoliticalArea)

Economy.kif 2875-2875 The number 1 argument of currency type is an instance of geopolitical area
s__domain(s__currencyType__m,n__2,s__UnitOfCurrency)

Economy.kif 2876-2876 The number 2 argument of currency type is an instance of UnitOfCurrency
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__currencyType__m,s__BinaryPredicate)

Economy.kif 2874-2874 currency type is an instance of binary predicate
s__instance(s__currencyType__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Economy.kif 2878-2878 currency type is an instance of single valued relation

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


s__format(s__ChineseLanguage,s__currencyType__m,'"%2 %n 是 %1 的 currency 类别"')

domainEnglishFormat.kif 612-612
s__format(s__ChineseTraditionalLanguage,s__currencyType__m,'"%2 %n 是 %1 的 currency 類別"')

domainEnglishFormat.kif 611-611
s__format(s__EnglishLanguage,s__currencyType__m,'"%2 is %n a currency type of %1"')

domainEnglishFormat.kif 610-610
s__termFormat(s__ChineseLanguage,s__currencyType__m,'"货币类型"')

domainEnglishFormat.kif 18087-18087
s__termFormat(s__ChineseTraditionalLanguage,s__currencyType__m,'"貨幣類型"')

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

domainEnglishFormat.kif 18085-18085

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


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

Government.kif 3192-3196

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


( ! [V__A2,V__A3,V__CURRENCY,V__AREA] :
   (((s__instance(V__A2,s__SymbolicString) &
         s__instance(V__A3,s__SymbolicString) &
         s__instance(V__CURRENCY,s__UnitOfCurrency) &
         s__instance(V__AREA,s__Class) &
         s__instance(V__AREA,s__GeopoliticalArea))
       =>
       (((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,n__0,n__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 3186-3190

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


s__currencyType(s__Afghanistan,s__AfghanAfghani)

Economy.kif 2887-2887 Afghan afghani is a currency type of afghanistan
s__currencyType(s__Albania,s__AlbanianLek)

Economy.kif 2948-2948 Albanian lek is a currency type of albania
s__currencyType(s__Algeria,s__AlgerianDinar)

Economy.kif 2952-2952 Algerian dinar is a currency type of algeria
s__currencyType(s__Angola,s__AngolanKwanza)

Economy.kif 2956-2956 Angolan kwanza is a currency type of angola
s__currencyType(s__Argentina,s__ArgentineAustral)

Economy.kif 2960-2960 Argentine austral is a currency type of argentina
s__currencyType(s__Armenia,s__ArmenianDram)

Economy.kif 2964-2964 Armenian dram is a currency type of armenia
s__currencyType(s__Australia,s__AustralianDollar)

Economy.kif 2968-2968 Australian dollar is a currency type of australia
s__currencyType(s__Austria,s__EuroDollar)

Economy.kif 2972-2972 Euro dollar is a currency type of austria
s__currencyType(s__Azerbaijan,s__AzerbaijaniManat)

Economy.kif 2976-2976 Azerbaijani manat is a currency type of azerbaijan
s__currencyType(s__Bahrain,s__BahrainianDinar)

Economy.kif 2984-2984 Bahrainian dinar is a currency type of bahrain
s__currencyType(s__Bangladesh,s__BangladeshiTaka)

Economy.kif 2988-2988 Bangladeshi taka is a currency type of bangladesh
s__currencyType(s__Barbados,s__BarbadosDollar)

Economy.kif 2992-2992 Barbados dollar is a currency type of barbados
s__currencyType(s__Belarus,s__BelarusianRubel)

Economy.kif 2996-2996 Belarusian rubel is a currency type of belarus
s__currencyType(s__Belgium,s__EuroDollar)

Economy.kif 3000-3000 Euro dollar is a currency type of belgium
s__currencyType(s__Belize,s__BelizeDollar)

Economy.kif 3004-3004 Belize dollar is a currency type of belize
s__currencyType(s__Benin,s__BeninFranc)

Economy.kif 3008-3008 Benin franc is a currency type of benin
s__currencyType(s__Bermuda,s__BermudaDollar)

Economy.kif 3012-3012 Bermuda dollar is a currency type of bermuda
s__currencyType(s__Bhutan,s__BhutaneseNgultrum)

Economy.kif 3016-3016 Bhutanese ngultrum is a currency type of bhutan
s__currencyType(s__Bolivia,s__BolivianBoliviano)

Economy.kif 3020-3020 Bolivian boliviano is a currency type of bolivia
s__currencyType(s__Botswana,s__BotswanaPula)

Economy.kif 3024-3024 Botswana pula is a currency type of botswana
s__currencyType(s__Brazil,s__BrazilianReal)

Economy.kif 3028-3028 Brazilian real is a currency type of brazil
s__currencyType(s__Brunei,s__BruneiDollar)

Economy.kif 3032-3032 Brunei dollar is a currency type of brunei
s__currencyType(s__Bulgaria,s__BulgarianLev)

Economy.kif 3036-3036 Bulgarian lev is a currency type of bulgaria
s__currencyType(s__BurkinaFaso,s__BurkinaFasoFranc)

Economy.kif 3040-3040 Burkina faso franc is a currency type of burkina faso
s__currencyType(s__Burundi,s__BurundiFranc)

Economy.kif 3044-3044 Burundi franc is a currency type of burundi

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners