TreeView Knowledge Base Browser

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 3209-3211
s__domain(s__currencyType__m, 1, s__GeopoliticalArea)	Economy.kif 3204-3204	The number 1 argument of currency type is an instance of geopolitical area
s__domain(s__currencyType__m, 2, s__UnitOfCurrency)	Economy.kif 3205-3205	The number 2 argument of currency type is an instance of unit of currency
s__instance(s__currencyType__m, s__BinaryPredicate)	Economy.kif 3203-3203	currency type is an instance of binary predicate
s__instance(s__currencyType__m, s__SingleValuedRelation)	Economy.kif 3207-3207	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 18104-18104
s__termFormat(s__ChineseTraditionalLanguage, s__currencyType__m, "貨幣類型")	domainEnglishFormat.kif 18103-18103
s__termFormat(s__EnglishLanguage, s__currencyType__m, "currency type")	domainEnglishFormat.kif 18102-18102

antecedent

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

! [V__A2 : $i,V__A3 : $i,V__CURRENCY : $i,V__AREA : $i] : (((s__codeMapping(s__ISO_4217_A, V__A3, V__CURRENCY) & s__codeMapping(s__ISO_3166_1_alpha_2, V__A2, V__AREA) & s__instance(V__AREA, s__GeopoliticalArea) & V__A2 = s__SubstringFn(V__A3, 0, 2)) => s__currencyType(V__AREA, V__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
! [V__AREA : $i] : (((s__instance(V__AREA, s__Nation) & s__member(V__AREA, s__EuropeanMonetaryUnion)) => s__currencyType(V__AREA, s__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

s__currencyType(s__Afghanistan, s__AfghanAfghani)	Economy.kif 3216-3216	Afghan afghani is a currency type of afghanistan
s__currencyType(s__Albania, s__AlbanianLek)	Economy.kif 3277-3277	Albanian lek is a currency type of albania
s__currencyType(s__Algeria, s__AlgerianDinar)	Economy.kif 3281-3281	Algerian dinar is a currency type of algeria
s__currencyType(s__Angola, s__AngolanKwanza)	Economy.kif 3285-3285	Angolan kwanza is a currency type of angola
s__currencyType(s__Argentina, s__ArgentineAustral)	Economy.kif 3289-3289	Argentine austral is a currency type of argentina
s__currencyType(s__Armenia, s__ArmenianDram)	Economy.kif 3293-3293	Armenian dram is a currency type of armenia
s__currencyType(s__Australia, s__AustralianDollar)	Economy.kif 3297-3297	Australian dollar is a currency type of australia
s__currencyType(s__Austria, s__EuroDollar)	Economy.kif 3301-3301	Euro dollar is a currency type of austria
s__currencyType(s__Azerbaijan, s__AzerbaijaniManat)	Economy.kif 3305-3305	Azerbaijani manat is a currency type of azerbaijan
s__currencyType(s__Bahrain, s__BahrainianDinar)	Economy.kif 3313-3313	Bahrainian dinar is a currency type of bahrain
s__currencyType(s__Bangladesh, s__BangladeshiTaka)	Economy.kif 3317-3317	Bangladeshi taka is a currency type of bangladesh
s__currencyType(s__Barbados, s__BarbadosDollar)	Economy.kif 3321-3321	Barbados dollar is a currency type of barbados
s__currencyType(s__Belarus, s__BelarusianRubel)	Economy.kif 3325-3325	Belarusian rubel is a currency type of belarus
s__currencyType(s__Belgium, s__EuroDollar)	Economy.kif 3329-3329	Euro dollar is a currency type of belgium
s__currencyType(s__Belize, s__BelizeDollar)	Economy.kif 3333-3333	Belize dollar is a currency type of belize
s__currencyType(s__Benin, s__BeninFranc)	Economy.kif 3337-3337	Benin franc is a currency type of benin
s__currencyType(s__Bermuda, s__BermudaDollar)	Economy.kif 3341-3341	Bermuda dollar is a currency type of bermuda
s__currencyType(s__Bhutan, s__BhutaneseNgultrum)	Economy.kif 3345-3345	Bhutanese ngultrum is a currency type of bhutan
s__currencyType(s__Bolivia, s__BolivianBoliviano)	Economy.kif 3349-3349	Bolivian boliviano is a currency type of bolivia
s__currencyType(s__Botswana, s__BotswanaPula)	Economy.kif 3353-3353	Botswana pula is a currency type of botswana
s__currencyType(s__Brazil, s__BrazilianReal)	Economy.kif 3357-3357	Brazilian real is a currency type of brazil
s__currencyType(s__Brunei, s__BruneiDollar)	Economy.kif 3361-3361	Brunei dollar is a currency type of brunei
s__currencyType(s__Bulgaria, s__BulgarianLev)	Economy.kif 3365-3365	Bulgarian lev is a currency type of bulgaria
s__currencyType(s__BurkinaFaso, s__BurkinaFasoFranc)	Economy.kif 3369-3369	Burkina faso franc is a currency type of burkina faso
s__currencyType(s__Burundi, s__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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: