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 2888-2890
(domain currencyType 1 GeopoliticalArea) Economy.kif 2883-2883
(domain currencyType 2 UnitOfCurrency) Economy.kif 2884-2884
(instance currencyType BinaryPredicate) Economy.kif 2882-2882
(instance currencyType SingleValuedRelation) Economy.kif 2886-2886

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

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 2895-2895
(currencyType Albania AlbanianLek) Economy.kif 2956-2956
(currencyType Algeria AlgerianDinar) Economy.kif 2960-2960
(currencyType Angola AngolanKwanza) Economy.kif 2964-2964
(currencyType Argentina ArgentineAustral) Economy.kif 2968-2968
(currencyType Armenia ArmenianDram) Economy.kif 2972-2972
(currencyType Australia AustralianDollar) Economy.kif 2976-2976
(currencyType Austria EuroDollar) Economy.kif 2980-2980
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 2984-2984
(currencyType Bahrain BahrainianDinar) Economy.kif 2992-2992
(currencyType Bangladesh BangladeshiTaka) Economy.kif 2996-2996
(currencyType Barbados BarbadosDollar) Economy.kif 3000-3000
(currencyType Belarus BelarusianRubel) Economy.kif 3004-3004
(currencyType Belgium EuroDollar) Economy.kif 3008-3008
(currencyType Belize BelizeDollar) Economy.kif 3012-3012
(currencyType Benin BeninFranc) Economy.kif 3016-3016
(currencyType Bermuda BermudaDollar) Economy.kif 3020-3020
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3024-3024
(currencyType Bolivia BolivianBoliviano) Economy.kif 3028-3028
(currencyType Botswana BotswanaPula) Economy.kif 3032-3032
(currencyType Brazil BrazilianReal) Economy.kif 3036-3036
(currencyType Brunei BruneiDollar) Economy.kif 3040-3040
(currencyType Bulgaria BulgarianLev) Economy.kif 3044-3044
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3048-3048
(currencyType Burundi BurundiFranc) Economy.kif 3052-3052

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