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 currencyType の数値 1 引数は 地政学的地域 の instance では
(domain currencyType 2 UnitOfCurrency) Economy.kif 3210-3210 currencyType の数値 2 引数は UnitOfCurrency の instance では
(instance currencyType BinaryPredicate) Economy.kif 3208-3208 currencyType は 2進述語 の instance では
(instance currencyType SingleValuedRelation) Economy.kif 3212-3212 currencyType は 一価関係 の 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 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 Afghanistan and AfghanAfghani
(currencyType Albania AlbanianLek) Economy.kif 3282-3282 currencyType Albania and AlbanianLek
(currencyType Algeria AlgerianDinar) Economy.kif 3286-3286 currencyType Algeria and AlgerianDinar
(currencyType Angola AngolanKwanza) Economy.kif 3290-3290 currencyType Angola and AngolanKwanza
(currencyType Argentina ArgentineAustral) Economy.kif 3294-3294 currencyType Argentina and ArgentineAustral
(currencyType Armenia ArmenianDram) Economy.kif 3298-3298 currencyType Armenia and ArmenianDram
(currencyType Australia AustralianDollar) Economy.kif 3302-3302 currencyType Australia and AustralianDollar
(currencyType Austria EuroDollar) Economy.kif 3306-3306 currencyType Austria and EuroDollar
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 3310-3310 currencyType Azerbaijan and AzerbaijaniManat
(currencyType Bahrain BahrainianDinar) Economy.kif 3318-3318 currencyType Bahrain and BahrainianDinar
(currencyType Bangladesh BangladeshiTaka) Economy.kif 3322-3322 currencyType Bangladesh and BangladeshiTaka
(currencyType Barbados BarbadosDollar) Economy.kif 3326-3326 currencyType Barbados and BarbadosDollar
(currencyType Belarus BelarusianRubel) Economy.kif 3330-3330 currencyType Belarus and BelarusianRubel
(currencyType Belgium EuroDollar) Economy.kif 3334-3334 currencyType Belgium and EuroDollar
(currencyType Belize BelizeDollar) Economy.kif 3338-3338 currencyType Belize and BelizeDollar
(currencyType Benin BeninFranc) Economy.kif 3342-3342 currencyType Benin and BeninFranc
(currencyType Bermuda BermudaDollar) Economy.kif 3346-3346 currencyType Bermuda and BermudaDollar
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3350-3350 currencyType Bhutan and BhutaneseNgultrum
(currencyType Bolivia BolivianBoliviano) Economy.kif 3354-3354 currencyType Bolivia and BolivianBoliviano
(currencyType Botswana BotswanaPula) Economy.kif 3358-3358 currencyType Botswana and BotswanaPula
(currencyType Brazil BrazilianReal) Economy.kif 3362-3362 currencyType Brazil and BrazilianReal
(currencyType Brunei BruneiDollar) Economy.kif 3366-3366 currencyType Brunei and BruneiDollar
(currencyType Bulgaria BulgarianLev) Economy.kif 3370-3370 currencyType Bulgaria and BulgarianLev
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3374-3374 currencyType BurkinaFaso and BurkinaFasoFranc
(currencyType Burundi BurundiFranc) Economy.kif 3378-3378 currencyType Burundi and BurundiFranc

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