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 3214-3216
(domain currencyType 1 GeopoliticalArea) Economy.kif 3209-3209
(domain currencyType 2 UnitOfCurrency) Economy.kif 3210-3210
(instance currencyType BinaryPredicate) Economy.kif 3208-3208
(instance currencyType SingleValuedRelation) Economy.kif 3212-3212

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

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


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

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 2891-2897
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))
Government.kif 3184-3188

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


(currencyType Afghanistan AfghanAfghani) Economy.kif 3221-3221
(currencyType Albania AlbanianLek) Economy.kif 3282-3282
(currencyType Algeria AlgerianDinar) Economy.kif 3286-3286
(currencyType Angola AngolanKwanza) Economy.kif 3290-3290
(currencyType Argentina ArgentineAustral) Economy.kif 3294-3294
(currencyType Armenia ArmenianDram) Economy.kif 3298-3298
(currencyType Australia AustralianDollar) Economy.kif 3302-3302
(currencyType Austria EuroDollar) Economy.kif 3306-3306
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 3310-3310
(currencyType Bahrain BahrainianDinar) Economy.kif 3318-3318
(currencyType Bangladesh BangladeshiTaka) Economy.kif 3322-3322
(currencyType Barbados BarbadosDollar) Economy.kif 3326-3326
(currencyType Belarus BelarusianRubel) Economy.kif 3330-3330
(currencyType Belgium EuroDollar) Economy.kif 3334-3334
(currencyType Belize BelizeDollar) Economy.kif 3338-3338
(currencyType Benin BeninFranc) Economy.kif 3342-3342
(currencyType Bermuda BermudaDollar) Economy.kif 3346-3346
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3350-3350
(currencyType Bolivia BolivianBoliviano) Economy.kif 3354-3354
(currencyType Botswana BotswanaPula) Economy.kif 3358-3358
(currencyType Brazil BrazilianReal) Economy.kif 3362-3362
(currencyType Brunei BruneiDollar) Economy.kif 3366-3366
(currencyType Bulgaria BulgarianLev) Economy.kif 3370-3370
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3374-3374
(currencyType Burundi BurundiFranc) Economy.kif 3378-3378

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