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 2893-2895
(domain currencyType 1 GeopoliticalArea) Economy.kif 2888-2888 Le nombre 1 argument de currencyType est une instance de secteur g�opolitique
(domain currencyType 2 UnitOfCurrency) Economy.kif 2889-2889 Le nombre 2 argument de currencyType est une instance de UnitOfCurrency
(instance currencyType BinaryPredicate) Economy.kif 2887-2887 currencyType est une instance de pr�dicat binaire
(instance currencyType SingleValuedRelation) Economy.kif 2891-2891 currencyType est une instance de relation simple

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

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 2900-2900 currencyType Afghanistan and AfghanAfghani
(currencyType Albania AlbanianLek) Economy.kif 2961-2961 currencyType Albania and AlbanianLek
(currencyType Algeria AlgerianDinar) Economy.kif 2965-2965 currencyType Algeria and AlgerianDinar
(currencyType Angola AngolanKwanza) Economy.kif 2969-2969 currencyType Angola and AngolanKwanza
(currencyType Argentina ArgentineAustral) Economy.kif 2973-2973 currencyType Argentina and ArgentineAustral
(currencyType Armenia ArmenianDram) Economy.kif 2977-2977 currencyType Armenia and ArmenianDram
(currencyType Australia AustralianDollar) Economy.kif 2981-2981 currencyType Australia and AustralianDollar
(currencyType Austria EuroDollar) Economy.kif 2985-2985 currencyType Austria and EuroDollar
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 2989-2989 currencyType Azerbaijan and AzerbaijaniManat
(currencyType Bahrain BahrainianDinar) Economy.kif 2997-2997 currencyType Bahrain and BahrainianDinar
(currencyType Bangladesh BangladeshiTaka) Economy.kif 3001-3001 currencyType Bangladesh and BangladeshiTaka
(currencyType Barbados BarbadosDollar) Economy.kif 3005-3005 currencyType Barbados and BarbadosDollar
(currencyType Belarus BelarusianRubel) Economy.kif 3009-3009 currencyType Belarus and BelarusianRubel
(currencyType Belgium EuroDollar) Economy.kif 3013-3013 currencyType Belgium and EuroDollar
(currencyType Belize BelizeDollar) Economy.kif 3017-3017 currencyType Belize and BelizeDollar
(currencyType Benin BeninFranc) Economy.kif 3021-3021 currencyType Benin and BeninFranc
(currencyType Bermuda BermudaDollar) Economy.kif 3025-3025 currencyType Bermuda and BermudaDollar
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3029-3029 currencyType Bhutan and BhutaneseNgultrum
(currencyType Bolivia BolivianBoliviano) Economy.kif 3033-3033 currencyType Bolivia and BolivianBoliviano
(currencyType Botswana BotswanaPula) Economy.kif 3037-3037 currencyType Botswana and BotswanaPula
(currencyType Brazil BrazilianReal) Economy.kif 3041-3041 currencyType Brazil and BrazilianReal
(currencyType Brunei BruneiDollar) Economy.kif 3045-3045 currencyType Brunei and BruneiDollar
(currencyType Bulgaria BulgarianLev) Economy.kif 3049-3049 currencyType Bulgaria and BulgarianLev
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3053-3053 currencyType BurkinaFaso and BurkinaFasoFranc
(currencyType Burundi BurundiFranc) Economy.kif 3057-3057 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