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 The number 1 argument of currency type is an instance of geopolitical area
(domain currencyType 2 UnitOfCurrency) Economy.kif 3210-3210 The number 2 argument of currency type is an instance of unit of currency
(instance currencyType BinaryPredicate) Economy.kif 3208-3208 currency type is an instance of binary predicate
(instance currencyType SingleValuedRelation) Economy.kif 3212-3212 currency type is an instance of single valued relation

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

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 Afghan afghani is a currency type of afghanistan
(currencyType Albania AlbanianLek) Economy.kif 3282-3282 Albanian lek is a currency type of albania
(currencyType Algeria AlgerianDinar) Economy.kif 3286-3286 Algerian dinar is a currency type of algeria
(currencyType Angola AngolanKwanza) Economy.kif 3290-3290 Angolan kwanza is a currency type of angola
(currencyType Argentina ArgentineAustral) Economy.kif 3294-3294 Argentine austral is a currency type of argentina
(currencyType Armenia ArmenianDram) Economy.kif 3298-3298 Armenian dram is a currency type of armenia
(currencyType Australia AustralianDollar) Economy.kif 3302-3302 Australian dollar is a currency type of australia
(currencyType Austria EuroDollar) Economy.kif 3306-3306 Euro dollar is a currency type of austria
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 3310-3310 Azerbaijani manat is a currency type of azerbaijan
(currencyType Bahrain BahrainianDinar) Economy.kif 3318-3318 Bahrainian dinar is a currency type of bahrain
(currencyType Bangladesh BangladeshiTaka) Economy.kif 3322-3322 Bangladeshi taka is a currency type of bangladesh
(currencyType Barbados BarbadosDollar) Economy.kif 3326-3326 Barbados dollar is a currency type of barbados
(currencyType Belarus BelarusianRubel) Economy.kif 3330-3330 Belarusian rubel is a currency type of belarus
(currencyType Belgium EuroDollar) Economy.kif 3334-3334 Euro dollar is a currency type of belgium
(currencyType Belize BelizeDollar) Economy.kif 3338-3338 Belize dollar is a currency type of belize
(currencyType Benin BeninFranc) Economy.kif 3342-3342 Benin franc is a currency type of benin
(currencyType Bermuda BermudaDollar) Economy.kif 3346-3346 Bermuda dollar is a currency type of bermuda
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3350-3350 Bhutanese ngultrum is a currency type of bhutan
(currencyType Bolivia BolivianBoliviano) Economy.kif 3354-3354 Bolivian boliviano is a currency type of bolivia
(currencyType Botswana BotswanaPula) Economy.kif 3358-3358 Botswana pula is a currency type of botswana
(currencyType Brazil BrazilianReal) Economy.kif 3362-3362 Brazilian real is a currency type of brazil
(currencyType Brunei BruneiDollar) Economy.kif 3366-3366 Brunei dollar is a currency type of brunei
(currencyType Bulgaria BulgarianLev) Economy.kif 3370-3370 Bulgarian lev is a currency type of bulgaria
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3374-3374 Burkina faso franc is a currency type of burkina faso
(currencyType Burundi BurundiFranc) Economy.kif 3378-3378 Burundi franc is a currency type of burundi

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