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 3209-3211
(domain currencyType 1 GeopoliticalArea)	Economy.kif 3204-3204	The number 1 argument of currency type is an instance of geopolitical area
(domain currencyType 2 UnitOfCurrency)	Economy.kif 3205-3205	The number 2 argument of currency type is an instance of unit of currency
(instance currencyType BinaryPredicate)	Economy.kif 3203-3203	currency type is an instance of binary predicate
(instance currencyType SingleValuedRelation)	Economy.kif 3207-3207	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 18104-18104
(termFormat ChineseTraditionalLanguage currencyType "貨幣類型")	domainEnglishFormat.kif 18103-18103
(termFormat EnglishLanguage currencyType "currency type")	domainEnglishFormat.kif 18102-18102

antecedent

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

Government.kif 3190-3194

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 2891-2897	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 equal the other symbolic string and 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 3184-3188	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 3216-3216	Afghan afghani is a currency type of afghanistan
(currencyType Albania AlbanianLek)	Economy.kif 3277-3277	Albanian lek is a currency type of albania
(currencyType Algeria AlgerianDinar)	Economy.kif 3281-3281	Algerian dinar is a currency type of algeria
(currencyType Angola AngolanKwanza)	Economy.kif 3285-3285	Angolan kwanza is a currency type of angola
(currencyType Argentina ArgentineAustral)	Economy.kif 3289-3289	Argentine austral is a currency type of argentina
(currencyType Armenia ArmenianDram)	Economy.kif 3293-3293	Armenian dram is a currency type of armenia
(currencyType Australia AustralianDollar)	Economy.kif 3297-3297	Australian dollar is a currency type of australia
(currencyType Austria EuroDollar)	Economy.kif 3301-3301	Euro dollar is a currency type of austria
(currencyType Azerbaijan AzerbaijaniManat)	Economy.kif 3305-3305	Azerbaijani manat is a currency type of azerbaijan
(currencyType Bahrain BahrainianDinar)	Economy.kif 3313-3313	Bahrainian dinar is a currency type of bahrain
(currencyType Bangladesh BangladeshiTaka)	Economy.kif 3317-3317	Bangladeshi taka is a currency type of bangladesh
(currencyType Barbados BarbadosDollar)	Economy.kif 3321-3321	Barbados dollar is a currency type of barbados
(currencyType Belarus BelarusianRubel)	Economy.kif 3325-3325	Belarusian rubel is a currency type of belarus
(currencyType Belgium EuroDollar)	Economy.kif 3329-3329	Euro dollar is a currency type of belgium
(currencyType Belize BelizeDollar)	Economy.kif 3333-3333	Belize dollar is a currency type of belize
(currencyType Benin BeninFranc)	Economy.kif 3337-3337	Benin franc is a currency type of benin
(currencyType Bermuda BermudaDollar)	Economy.kif 3341-3341	Bermuda dollar is a currency type of bermuda
(currencyType Bhutan BhutaneseNgultrum)	Economy.kif 3345-3345	Bhutanese ngultrum is a currency type of bhutan
(currencyType Bolivia BolivianBoliviano)	Economy.kif 3349-3349	Bolivian boliviano is a currency type of bolivia
(currencyType Botswana BotswanaPula)	Economy.kif 3353-3353	Botswana pula is a currency type of botswana
(currencyType Brazil BrazilianReal)	Economy.kif 3357-3357	Brazilian real is a currency type of brazil
(currencyType Brunei BruneiDollar)	Economy.kif 3361-3361	Brunei dollar is a currency type of brunei
(currencyType Bulgaria BulgarianLev)	Economy.kif 3365-3365	Bulgarian lev is a currency type of bulgaria
(currencyType BurkinaFaso BurkinaFasoFranc)	Economy.kif 3369-3369	Burkina faso franc is a currency type of burkina faso
(currencyType Burundi BurundiFranc)	Economy.kif 3373-3373	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: