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 2893-2895
(domain currencyType 1 GeopoliticalArea)	Economy.kif 2888-2888
(domain currencyType 2 UnitOfCurrency)	Economy.kif 2889-2889
(instance currencyType BinaryPredicate)	Economy.kif 2887-2887
(instance currencyType SingleValuedRelation)	Economy.kif 2891-2891

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

antecedent

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

Government.kif 3229-3233

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
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3223-3227

appearance as argument number 0

(currencyType Afghanistan AfghanAfghani)	Economy.kif 2900-2900
(currencyType Albania AlbanianLek)	Economy.kif 2961-2961
(currencyType Algeria AlgerianDinar)	Economy.kif 2965-2965
(currencyType Angola AngolanKwanza)	Economy.kif 2969-2969
(currencyType Argentina ArgentineAustral)	Economy.kif 2973-2973
(currencyType Armenia ArmenianDram)	Economy.kif 2977-2977
(currencyType Australia AustralianDollar)	Economy.kif 2981-2981
(currencyType Austria EuroDollar)	Economy.kif 2985-2985
(currencyType Azerbaijan AzerbaijaniManat)	Economy.kif 2989-2989
(currencyType Bahrain BahrainianDinar)	Economy.kif 2997-2997
(currencyType Bangladesh BangladeshiTaka)	Economy.kif 3001-3001
(currencyType Barbados BarbadosDollar)	Economy.kif 3005-3005
(currencyType Belarus BelarusianRubel)	Economy.kif 3009-3009
(currencyType Belgium EuroDollar)	Economy.kif 3013-3013
(currencyType Belize BelizeDollar)	Economy.kif 3017-3017
(currencyType Benin BeninFranc)	Economy.kif 3021-3021
(currencyType Bermuda BermudaDollar)	Economy.kif 3025-3025
(currencyType Bhutan BhutaneseNgultrum)	Economy.kif 3029-3029
(currencyType Bolivia BolivianBoliviano)	Economy.kif 3033-3033
(currencyType Botswana BotswanaPula)	Economy.kif 3037-3037
(currencyType Brazil BrazilianReal)	Economy.kif 3041-3041
(currencyType Brunei BruneiDollar)	Economy.kif 3045-3045
(currencyType Bulgaria BulgarianLev)	Economy.kif 3049-3049
(currencyType BurkinaFaso BurkinaFasoFranc)	Economy.kif 3053-3053
(currencyType Burundi BurundiFranc)	Economy.kif 3057-3057

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: