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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2880-2882
(domain currencyType 1 GeopoliticalArea) Economy.kif 2875-2875 货币类型 的 1 数量 是 地缘政治区域instance
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876 货币类型 的 2 数量 是 UnitOfCurrencyinstance
(instance currencyType BinaryPredicate) Economy.kif 2874-2874 货币类型二元谓语instance
(instance currencyType SingleValuedRelation) Economy.kif 2878-2878 货币类型单值关系instance

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

antecedent
-------------------------


(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))
Government.kif 3160-3164

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 2859-2865
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))
Government.kif 3154-3158

appearance as argument number 0
-------------------------


(currencyType Afghanistan AfghanAfghani) Economy.kif 2887-2887 阿富汗阿富汗尼阿富汗currency 类别
(currencyType Albania AlbanianLek) Economy.kif 2948-2948 阿尔巴尼亚列克阿尔巴尼亚currency 类别
(currencyType Algeria AlgerianDinar) Economy.kif 2952-2952 阿尔及利亚第纳尔阿尔及利亚currency 类别
(currencyType Angola AngolanKwanza) Economy.kif 2956-2956 安哥拉宽扎安哥拉currency 类别
(currencyType Argentina ArgentineAustral) Economy.kif 2960-2960 阿根廷南部阿根廷currency 类别
(currencyType Armenia ArmenianDram) Economy.kif 2964-2964 亚美尼亚德拉姆亚美尼亚currency 类别
(currencyType Australia AustralianDollar) Economy.kif 2968-2968 澳元澳大利亚currency 类别
(currencyType Austria EuroDollar) Economy.kif 2972-2972 欧元奥地利currency 类别
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 2976-2976 阿塞拜疆马纳特阿塞拜疆currency 类别
(currencyType Bahrain BahrainianDinar) Economy.kif 2984-2984 Bahraini第纳尔巴林currency 类别
(currencyType Bangladesh BangladeshiTaka) Economy.kif 2988-2988 孟加拉国塔卡孟加拉国currency 类别
(currencyType Barbados BarbadosDollar) Economy.kif 2992-2992 巴巴多斯元巴巴多斯currency 类别
(currencyType Belarus BelarusianRubel) Economy.kif 2996-2996 白俄罗斯语rubel白俄罗斯currency 类别
(currencyType Belgium EuroDollar) Economy.kif 3000-3000 欧元比利时currency 类别
(currencyType Belize BelizeDollar) Economy.kif 3004-3004 伯利兹美元伯利兹currency 类别
(currencyType Benin BeninFranc) Economy.kif 3008-3008 贝宁法郎贝宁currency 类别
(currencyType Bermuda BermudaDollar) Economy.kif 3012-3012 百慕大元百慕大currency 类别
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3016-3016 不丹ngultrum不丹currency 类别
(currencyType Bolivia BolivianBoliviano) Economy.kif 3020-3020 玻利维亚玻利维亚诺玻利维亚currency 类别
(currencyType Botswana BotswanaPula) Economy.kif 3024-3024 博茨瓦纳普拉博茨瓦纳currency 类别
(currencyType Brazil BrazilianReal) Economy.kif 3028-3028 巴西真实巴西currency 类别
(currencyType Brunei BruneiDollar) Economy.kif 3032-3032 文莱美元文莱currency 类别
(currencyType Bulgaria BulgarianLev) Economy.kif 3036-3036 保加利亚列弗保加利亚currency 类别
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3040-3040 布基纳法索法郎布基纳法索currency 类别
(currencyType Burundi BurundiFranc) Economy.kif 3044-3044 布隆迪法郎布隆迪currency 类别

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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