TreeView 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 2887-2889
(domain currencyType 1 GeopoliticalArea)	Economy.kif 2882-2882	domain currencyType, 1 and GeopoliticalArea
(domain currencyType 2 UnitOfCurrency)	Economy.kif 2883-2883	domain currencyType, 2 and UnitOfCurrency
(instance currencyType BinaryPredicate)	Economy.kif 2881-2881	instance currencyType and BinaryPredicate
(instance currencyType SingleValuedRelation)	Economy.kif 2885-2885	instance currencyType and SingleValuedRelation

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 18087-18087
(termFormat ChineseTraditionalLanguage currencyType "貨幣類型")	domainEnglishFormat.kif 18086-18086
(termFormat EnglishLanguage currencyType "currency type")	domainEnglishFormat.kif 18085-18085

antecedent

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

Government.kif 3209-3213

instance GeopoliticalArea and Nation currencyType GeopoliticalArea and EuroDollar
member GeopoliticalArea and EuropeanMonetaryUnion

consequent

(=> (and (codeMapping ISO-4217-A ?A3 ?CURRENCY) (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA) (subclass ?AREA GeopoliticalArea) (equal ?A2 (SubstringFn ?A3 0 2))) (currencyType ?AREA ?CURRENCY))	Media.kif 2877-2883	codeMapping ISO-4217-A, SymbolicString and UnitOfCurrency codeMapping ISO-3166-1-alpha-2, SymbolicString and Class subclass Class and GeopoliticalArea equal SymbolicString and SubstringFn SymbolicString, 0 and 2 currencyType Class and UnitOfCurrency
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3203-3207	instance GeopoliticalArea and Nation member GeopoliticalArea and EuropeanMonetaryUnion currencyType GeopoliticalArea and EuroDollar

appearance as argument number 0

(currencyType Afghanistan AfghanAfghani)	Economy.kif 2894-2894	currencyType Afghanistan and AfghanAfghani
(currencyType Albania AlbanianLek)	Economy.kif 2955-2955	currencyType Albania and AlbanianLek
(currencyType Algeria AlgerianDinar)	Economy.kif 2959-2959	currencyType Algeria and AlgerianDinar
(currencyType Angola AngolanKwanza)	Economy.kif 2963-2963	currencyType Angola and AngolanKwanza
(currencyType Argentina ArgentineAustral)	Economy.kif 2967-2967	currencyType Argentina and ArgentineAustral
(currencyType Armenia ArmenianDram)	Economy.kif 2971-2971	currencyType Armenia and ArmenianDram
(currencyType Australia AustralianDollar)	Economy.kif 2975-2975	currencyType Australia and AustralianDollar
(currencyType Austria EuroDollar)	Economy.kif 2979-2979	currencyType Austria and EuroDollar
(currencyType Azerbaijan AzerbaijaniManat)	Economy.kif 2983-2983	currencyType Azerbaijan and AzerbaijaniManat
(currencyType Bahrain BahrainianDinar)	Economy.kif 2991-2991	currencyType Bahrain and BahrainianDinar
(currencyType Bangladesh BangladeshiTaka)	Economy.kif 2995-2995	currencyType Bangladesh and BangladeshiTaka
(currencyType Barbados BarbadosDollar)	Economy.kif 2999-2999	currencyType Barbados and BarbadosDollar
(currencyType Belarus BelarusianRubel)	Economy.kif 3003-3003	currencyType Belarus and BelarusianRubel
(currencyType Belgium EuroDollar)	Economy.kif 3007-3007	currencyType Belgium and EuroDollar
(currencyType Belize BelizeDollar)	Economy.kif 3011-3011	currencyType Belize and BelizeDollar
(currencyType Benin BeninFranc)	Economy.kif 3015-3015	currencyType Benin and BeninFranc
(currencyType Bermuda BermudaDollar)	Economy.kif 3019-3019	currencyType Bermuda and BermudaDollar
(currencyType Bhutan BhutaneseNgultrum)	Economy.kif 3023-3023	currencyType Bhutan and BhutaneseNgultrum
(currencyType Bolivia BolivianBoliviano)	Economy.kif 3027-3027	currencyType Bolivia and BolivianBoliviano
(currencyType Botswana BotswanaPula)	Economy.kif 3031-3031	currencyType Botswana and BotswanaPula
(currencyType Brazil BrazilianReal)	Economy.kif 3035-3035	currencyType Brazil and BrazilianReal
(currencyType Brunei BruneiDollar)	Economy.kif 3039-3039	currencyType Brunei and BruneiDollar
(currencyType Bulgaria BulgarianLev)	Economy.kif 3043-3043	currencyType Bulgaria and BulgarianLev
(currencyType BurkinaFaso BurkinaFasoFranc)	Economy.kif 3047-3047	currencyType BurkinaFaso and BurkinaFasoFranc
(currencyType Burundi BurundiFranc)	Economy.kif 3051-3051	currencyType Burundi and BurundiFranc

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: