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 2877-2879
(domain currencyType 1 GeopoliticalArea)	Economy.kif 2872-2872	Die Zahl 1 Argument von currencyType ist ein fall von GeopoliticalArea %n{nicht}
(domain currencyType 2 UnitOfCurrency)	Economy.kif 2873-2873	Die Zahl 2 Argument von currencyType ist ein fall von UnitOfCurrency %n{nicht}
(instance currencyType BinaryPredicate)	Economy.kif 2871-2871	currencyType ist ein fall von BinaryPredicate %n{nicht}
(instance currencyType SingleValuedRelation)	Economy.kif 2875-2875	currencyType ist ein fall von SingleValuedRelation %n{nicht}

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

antecedent

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

Government.kif 3193-3197

Wenn GeopoliticalArea ist ein fall von Nation %n{nicht} und currencyType ** GeopoliticalArea and EuroDollar,
dann ** GeopoliticalArea ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}

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	Wenn codeMapping ISO-4217-A, SymbolicString and UnitOfCurrency und codeMapping ISO-3166-1-alpha-2, SymbolicString and GeopoliticalArea und GeopoliticalArea ist ein fall von GeopoliticalArea %n{nicht} und SymbolicString ist gleich SubstringFn SymbolicString, 0 and 2 %n{nicht}, dann currencyType GeopoliticalArea and ** UnitOfCurrency
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3187-3191	Wenn GeopoliticalArea ist ein fall von Nation %n{nicht} und GeopoliticalArea ist ein Mitglied von EuropeanMonetaryUnion %n{nicht}, dann currencyType GeopoliticalArea and EuroDollar

appearance as argument number 0

(currencyType Afghanistan AfghanAfghani)	Economy.kif 2884-2884	currencyType Afghanistan and AfghanAfghani
(currencyType Albania AlbanianLek)	Economy.kif 2945-2945	currencyType Albania and AlbanianLek
(currencyType Algeria AlgerianDinar)	Economy.kif 2949-2949	currencyType Algeria and AlgerianDinar
(currencyType Angola AngolanKwanza)	Economy.kif 2953-2953	currencyType Angola and AngolanKwanza
(currencyType Argentina ArgentineAustral)	Economy.kif 2957-2957	currencyType Argentina and ArgentineAustral
(currencyType Armenia ArmenianDram)	Economy.kif 2961-2961	currencyType Armenia and ArmenianDram
(currencyType Australia AustralianDollar)	Economy.kif 2965-2965	currencyType Australia and AustralianDollar
(currencyType Austria EuroDollar)	Economy.kif 2969-2969	currencyType Austria and EuroDollar
(currencyType Azerbaijan AzerbaijaniManat)	Economy.kif 2973-2973	currencyType Azerbaijan and AzerbaijaniManat
(currencyType Bahrain BahrainianDinar)	Economy.kif 2981-2981	currencyType Bahrain and BahrainianDinar
(currencyType Bangladesh BangladeshiTaka)	Economy.kif 2985-2985	currencyType Bangladesh and BangladeshiTaka
(currencyType Barbados BarbadosDollar)	Economy.kif 2989-2989	currencyType Barbados and BarbadosDollar
(currencyType Belarus BelarusianRubel)	Economy.kif 2993-2993	currencyType Belarus and BelarusianRubel
(currencyType Belgium EuroDollar)	Economy.kif 2997-2997	currencyType Belgium and EuroDollar
(currencyType Belize BelizeDollar)	Economy.kif 3001-3001	currencyType Belize and BelizeDollar
(currencyType Benin BeninFranc)	Economy.kif 3005-3005	currencyType Benin and BeninFranc
(currencyType Bermuda BermudaDollar)	Economy.kif 3009-3009	currencyType Bermuda and BermudaDollar
(currencyType Bhutan BhutaneseNgultrum)	Economy.kif 3013-3013	currencyType Bhutan and BhutaneseNgultrum
(currencyType Bolivia BolivianBoliviano)	Economy.kif 3017-3017	currencyType Bolivia and BolivianBoliviano
(currencyType Botswana BotswanaPula)	Economy.kif 3021-3021	currencyType Botswana and BotswanaPula
(currencyType Brazil BrazilianReal)	Economy.kif 3025-3025	currencyType Brazil and BrazilianReal
(currencyType Brunei BruneiDollar)	Economy.kif 3029-3029	currencyType Brunei and BruneiDollar
(currencyType Bulgaria BulgarianLev)	Economy.kif 3033-3033	currencyType Bulgaria and BulgarianLev
(currencyType BurkinaFaso BurkinaFasoFranc)	Economy.kif 3037-3037	currencyType BurkinaFaso and BurkinaFasoFranc
(currencyType Burundi BurundiFranc)	Economy.kif 3041-3041	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: