Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyType

 Sigma KEE - currencyType
currencyType

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 域 貨幣類型, 1 and GeopoliticalArea
(domain currencyType 2 UnitOfCurrency) Economy.kif 2873-2873 域 貨幣類型, 2 and UnitOfCurrency
(instance currencyType BinaryPredicate) Economy.kif 2871-2871 例 貨幣類型 and BinaryPredicate
(instance currencyType SingleValuedRelation) Economy.kif 2875-2875 例 貨幣類型 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 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 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 2884-2884 阿富汗阿富汗尼 是 阿富汗 的 currency 類別
(currencyType Albania AlbanianLek) Economy.kif 2945-2945 阿爾巴尼亞列克 是 阿爾巴尼亞 的 currency 類別
(currencyType Algeria AlgerianDinar) Economy.kif 2949-2949 阿爾及利亞第納爾 是 阿爾及利亞 的 currency 類別
(currencyType Angola AngolanKwanza) Economy.kif 2953-2953 安哥拉寬扎 是 安哥拉 的 currency 類別
(currencyType Argentina ArgentineAustral) Economy.kif 2957-2957 阿根廷南部 是 阿根廷 的 currency 類別
(currencyType Armenia ArmenianDram) Economy.kif 2961-2961 亞美尼亞德拉姆 是 亞美尼亞 的 currency 類別
(currencyType Australia AustralianDollar) Economy.kif 2965-2965 澳元 是 澳大利亞 的 currency 類別
(currencyType Austria EuroDollar) Economy.kif 2969-2969 歐元 是 奧地利 的 currency 類別
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 2973-2973 阿塞拜疆馬納特 是 阿塞拜疆 的 currency 類別
(currencyType Bahrain BahrainianDinar) Economy.kif 2981-2981 Bahraini第納爾 是 巴林 的 currency 類別
(currencyType Bangladesh BangladeshiTaka) Economy.kif 2985-2985 孟加拉國塔卡 是 孟加拉國 的 currency 類別
(currencyType Barbados BarbadosDollar) Economy.kif 2989-2989 巴巴多斯元 是 巴巴多斯 的 currency 類別
(currencyType Belarus BelarusianRubel) Economy.kif 2993-2993 白俄羅斯語rubel 是 白俄羅斯 的 currency 類別
(currencyType Belgium EuroDollar) Economy.kif 2997-2997 歐元 是 比利時 的 currency 類別
(currencyType Belize BelizeDollar) Economy.kif 3001-3001 伯利茲美元 是 伯利茲 的 currency 類別
(currencyType Benin BeninFranc) Economy.kif 3005-3005 貝寧法郎 是 貝寧 的 currency 類別
(currencyType Bermuda BermudaDollar) Economy.kif 3009-3009 百慕大元 是 百慕大 的 currency 類別
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3013-3013 不丹ngultrum 是 不丹 的 currency 類別
(currencyType Bolivia BolivianBoliviano) Economy.kif 3017-3017 玻利維亞玻利維亞諾 是 玻利維亞 的 currency 類別
(currencyType Botswana BotswanaPula) Economy.kif 3021-3021 博茨瓦納普拉 是 博茨瓦納 的 currency 類別
(currencyType Brazil BrazilianReal) Economy.kif 3025-3025 巴西真實 是 巴西 的 currency 類別
(currencyType Brunei BruneiDollar) Economy.kif 3029-3029 文萊美元 是 文萊 的 currency 類別
(currencyType Bulgaria BulgarianLev) Economy.kif 3033-3033 保加利亞列弗 是 保加利亞 的 currency 類別
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3037-3037 布基納法索法郎 是 布基納法索 的 currency 類別
(currencyType Burundi BurundiFranc) Economy.kif 3041-3041 布隆迪法郎 是 布隆迪 的 currency 類別

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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners