TreeView Knowledge Base Browser

appearance as argument number 1

(instance currencyType BinaryPredicate)	Economy.kif 3203-3203	currency type is an instance of binary predicate
(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 SingleValuedRelation)	Economy.kif 3207-3207	currency type is an instance of single valued relation
(documentation currencyType EnglishLanguage "(currencyType ?AREA ?UNIT) means that the official currency used in the GeopoliticalArea ?AREA is the UnitOfMeasure ?UNIT.")	Economy.kif 3209-3211	currency type is an instance of single valued relation

appearance as argument number 2

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

antecedent

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

Government.kif 3221-3225

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

consequent

(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3215-3219	If X is an instance of nation and X is a member of european monetary union, then euro dollar is a currency type of X
(=> (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 2836-2842	If X in ISO_4217_A denotes Y, Z in ISO_3166_1_alpha_2 denotes W, W is an instance of geopolitical area, and equal Z and the sub-string of X from 0 to 2, then Y is a currency type of W

appearance as argument number 0

(currencyType Afghanistan AfghanAfghani)	Economy.kif 3216-3216	Afghan afghani is a currency type of afghanistan
(currencyType UnitedKingdom BritishPound)	Economy.kif 3219-3219	British pound is a currency type of united kingdom
(currencyType Canada CanadianDollar)	Economy.kif 3222-3222	Canadian dollar is a currency type of canada
(currencyType France EuroDollar)	Economy.kif 3225-3225	Euro dollar is a currency type of france
(currencyType Germany EuroDollar)	Economy.kif 3228-3228	Euro dollar is a currency type of germany
(currencyType Italy EuroDollar)	Economy.kif 3231-3231	Euro dollar is a currency type of italy
(currencyType Japan JapaneseYen)	Economy.kif 3234-3234	Japanese yen is a currency type of japan
(currencyType Tajikistan TajikSomoni)	Economy.kif 3237-3237	Tajik somoni is a currency type of tajikistan
(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 TheBahamas BahamianDollar)	Economy.kif 3309-3309	Bahamian dollar is a currency type of the bahamas
(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

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: