currencyType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation currencyType EnglishLanguage "(currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT.")	Economy.kif 3087-3089
(domain currencyType 1 GeopoliticalArea)	Economy.kif 3082-3082	The number 1 argument of currency type is an instance of geopolitical area
(domain currencyType 2 UnitOfCurrency)	Economy.kif 3083-3083	The number 2 argument of currency type is an instance of unit of currency
(instance currencyType BinaryPredicate)	Economy.kif 3081-3081	currency type is an instance of binary predicate
(instance currencyType SingleValuedRelation)	Economy.kif 3085-3085	currency type is an instance of single valued relation

appearance as argument number 2

(format ChineseLanguage currencyType "%2 %n 是 %1 的 currency 类别")	domainEnglishFormat.kif 612-612
(format ChineseTraditionalLanguage currencyType "%2 %n 是 %1 的 currency 類別")	domainEnglishFormat.kif 611-611
(format EnglishLanguage currencyType "%2 is %n a currency type of %1")	domainEnglishFormat.kif 610-610
(termFormat ChineseLanguage currencyType "货币类型")	domainEnglishFormat.kif 18111-18111
(termFormat ChineseTraditionalLanguage currencyType "貨幣類型")	domainEnglishFormat.kif 18110-18110
(termFormat EnglishLanguage currencyType "currency type")	domainEnglishFormat.kif 18109-18109

antecedent

(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))

Government.kif 3191-3195

If a geopolitical area is an instance of nation and euro dollar is a currency type of the geopolitical area,
then the geopolitical area is a member of european monetary union

consequent

(=> (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 2889-2895	If a symbolic string in ISO_4217_A denotes an unit of currency and another symbolic string in ISO_3166_1_alpha_2 denotes a geopolitical area and the geopolitical area is an instance of geopolitical area and the other symbolic string is equal to the sub_string of the symbolic string from 0 to 2, then the unit of currency is a currency type of the geopolitical area
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3185-3189	If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union, then euro dollar is a currency type of the geopolitical area

appearance as argument number 0

(currencyType Afghanistan AfghanAfghani)	Economy.kif 3094-3094	Afghan afghani is a currency type of afghanistan
(currencyType Albania AlbanianLek)	Economy.kif 3155-3155	Albanian lek is a currency type of albania
(currencyType Algeria AlgerianDinar)	Economy.kif 3159-3159	Algerian dinar is a currency type of algeria
(currencyType Angola AngolanKwanza)	Economy.kif 3163-3163	Angolan kwanza is a currency type of angola
(currencyType Argentina ArgentineAustral)	Economy.kif 3167-3167	Argentine austral is a currency type of argentina
(currencyType Armenia ArmenianDram)	Economy.kif 3171-3171	Armenian dram is a currency type of armenia
(currencyType Australia AustralianDollar)	Economy.kif 3175-3175	Australian dollar is a currency type of australia
(currencyType Austria EuroDollar)	Economy.kif 3179-3179	Euro dollar is a currency type of austria
(currencyType Azerbaijan AzerbaijaniManat)	Economy.kif 3183-3183	Azerbaijani manat is a currency type of azerbaijan
(currencyType Bahrain BahrainianDinar)	Economy.kif 3191-3191	Bahrainian dinar is a currency type of bahrain
(currencyType Bangladesh BangladeshiTaka)	Economy.kif 3195-3195	Bangladeshi taka is a currency type of bangladesh
(currencyType Barbados BarbadosDollar)	Economy.kif 3199-3199	Barbados dollar is a currency type of barbados
(currencyType Belarus BelarusianRubel)	Economy.kif 3203-3203	Belarusian rubel is a currency type of belarus
(currencyType Belgium EuroDollar)	Economy.kif 3207-3207	Euro dollar is a currency type of belgium
(currencyType Belize BelizeDollar)	Economy.kif 3211-3211	Belize dollar is a currency type of belize
(currencyType Benin BeninFranc)	Economy.kif 3215-3215	Benin franc is a currency type of benin
(currencyType Bermuda BermudaDollar)	Economy.kif 3219-3219	Bermuda dollar is a currency type of bermuda
(currencyType Bhutan BhutaneseNgultrum)	Economy.kif 3223-3223	Bhutanese ngultrum is a currency type of bhutan
(currencyType Bolivia BolivianBoliviano)	Economy.kif 3227-3227	Bolivian boliviano is a currency type of bolivia
(currencyType Botswana BotswanaPula)	Economy.kif 3231-3231	Botswana pula is a currency type of botswana
(currencyType Brazil BrazilianReal)	Economy.kif 3235-3235	Brazilian real is a currency type of brazil
(currencyType Brunei BruneiDollar)	Economy.kif 3239-3239	Brunei dollar is a currency type of brunei
(currencyType Bulgaria BulgarianLev)	Economy.kif 3243-3243	Bulgarian lev is a currency type of bulgaria
(currencyType BurkinaFaso BurkinaFasoFranc)	Economy.kif 3247-3247	Burkina faso franc is a currency type of burkina faso
(currencyType Burundi BurundiFranc)	Economy.kif 3251-3251	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

KB Term:			Term intersection

English Word: