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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyType

 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 2992-2994
(domain currencyType 1 GeopoliticalArea) Economy.kif 2987-2987
(domain currencyType 2 UnitOfCurrency) Economy.kif 2988-2988
(instance currencyType BinaryPredicate) Economy.kif 2986-2986
(instance currencyType SingleValuedRelation) Economy.kif 2990-2990

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

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


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

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 3185-3189

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


(currencyType Afghanistan AfghanAfghani) Economy.kif 2999-2999
(currencyType Albania AlbanianLek) Economy.kif 3060-3060
(currencyType Algeria AlgerianDinar) Economy.kif 3064-3064
(currencyType Angola AngolanKwanza) Economy.kif 3068-3068
(currencyType Argentina ArgentineAustral) Economy.kif 3072-3072
(currencyType Armenia ArmenianDram) Economy.kif 3076-3076
(currencyType Australia AustralianDollar) Economy.kif 3080-3080
(currencyType Austria EuroDollar) Economy.kif 3084-3084
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 3088-3088
(currencyType Bahrain BahrainianDinar) Economy.kif 3096-3096
(currencyType Bangladesh BangladeshiTaka) Economy.kif 3100-3100
(currencyType Barbados BarbadosDollar) Economy.kif 3104-3104
(currencyType Belarus BelarusianRubel) Economy.kif 3108-3108
(currencyType Belgium EuroDollar) Economy.kif 3112-3112
(currencyType Belize BelizeDollar) Economy.kif 3116-3116
(currencyType Benin BeninFranc) Economy.kif 3120-3120
(currencyType Bermuda BermudaDollar) Economy.kif 3124-3124
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3128-3128
(currencyType Bolivia BolivianBoliviano) Economy.kif 3132-3132
(currencyType Botswana BotswanaPula) Economy.kif 3136-3136
(currencyType Brazil BrazilianReal) Economy.kif 3140-3140
(currencyType Brunei BruneiDollar) Economy.kif 3144-3144
(currencyType Bulgaria BulgarianLev) Economy.kif 3148-3148
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3152-3152
(currencyType Burundi BurundiFranc) Economy.kif 3156-3156

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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