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 2880-2882
(domain currencyType 1 GeopoliticalArea) Economy.kif 2875-2875 domain currencyType, 1 and GeopoliticalArea
(domain currencyType 2 UnitOfCurrency) Economy.kif 2876-2876 domain currencyType, 2 and UnitOfCurrency
(instance currencyType BinaryPredicate) Economy.kif 2874-2874 instance currencyType and BinaryPredicate
(instance currencyType SingleValuedRelation) Economy.kif 2878-2878 instance currencyType and SingleValuedRelation

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

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


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

consequent
-------------------------


(=>
    (and
        (codeMapping ISO-4217-A ?A3 ?CURRENCY)
        (codeMapping ISO-3166-1-alpha-2 ?A2 ?AREA)
        (subclass ?AREA GeopoliticalArea)
        (equal ?A2
            (SubstringFn ?A3 0 2)))
    (currencyType ?AREA ?CURRENCY))		 Media.kif 2859-2865
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3154-3158

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


(currencyType Afghanistan AfghanAfghani) Economy.kif 2887-2887 currencyType Afghanistan and AfghanAfghani
(currencyType Albania AlbanianLek) Economy.kif 2948-2948 currencyType Albania and AlbanianLek
(currencyType Algeria AlgerianDinar) Economy.kif 2952-2952 currencyType Algeria and AlgerianDinar
(currencyType Angola AngolanKwanza) Economy.kif 2956-2956 currencyType Angola and AngolanKwanza
(currencyType Argentina ArgentineAustral) Economy.kif 2960-2960 currencyType Argentina and ArgentineAustral
(currencyType Armenia ArmenianDram) Economy.kif 2964-2964 currencyType Armenia and ArmenianDram
(currencyType Australia AustralianDollar) Economy.kif 2968-2968 currencyType Australia and AustralianDollar
(currencyType Austria EuroDollar) Economy.kif 2972-2972 currencyType Austria and EuroDollar
(currencyType Azerbaijan AzerbaijaniManat) Economy.kif 2976-2976 currencyType Azerbaijan and AzerbaijaniManat
(currencyType Bahrain BahrainianDinar) Economy.kif 2984-2984 currencyType Bahrain and BahrainianDinar
(currencyType Bangladesh BangladeshiTaka) Economy.kif 2988-2988 currencyType Bangladesh and BangladeshiTaka
(currencyType Barbados BarbadosDollar) Economy.kif 2992-2992 currencyType Barbados and BarbadosDollar
(currencyType Belarus BelarusianRubel) Economy.kif 2996-2996 currencyType Belarus and BelarusianRubel
(currencyType Belgium EuroDollar) Economy.kif 3000-3000 currencyType Belgium and EuroDollar
(currencyType Belize BelizeDollar) Economy.kif 3004-3004 currencyType Belize and BelizeDollar
(currencyType Benin BeninFranc) Economy.kif 3008-3008 currencyType Benin and BeninFranc
(currencyType Bermuda BermudaDollar) Economy.kif 3012-3012 currencyType Bermuda and BermudaDollar
(currencyType Bhutan BhutaneseNgultrum) Economy.kif 3016-3016 currencyType Bhutan and BhutaneseNgultrum
(currencyType Bolivia BolivianBoliviano) Economy.kif 3020-3020 currencyType Bolivia and BolivianBoliviano
(currencyType Botswana BotswanaPula) Economy.kif 3024-3024 currencyType Botswana and BotswanaPula
(currencyType Brazil BrazilianReal) Economy.kif 3028-3028 currencyType Brazil and BrazilianReal
(currencyType Brunei BruneiDollar) Economy.kif 3032-3032 currencyType Brunei and BruneiDollar
(currencyType Bulgaria BulgarianLev) Economy.kif 3036-3036 currencyType Bulgaria and BulgarianLev
(currencyType BurkinaFaso BurkinaFasoFranc) Economy.kif 3040-3040 currencyType BurkinaFaso and BurkinaFasoFranc
(currencyType Burundi BurundiFranc) Economy.kif 3044-3044 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners