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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - currencyExchangeRate
currencyExchangeRate

appearance as argument number 1
-------------------------


(documentation currencyExchangeRate EnglishLanguage "(currencyExchangeRate ?UNIT ?AMOUNT) means that the currency denomination ?UNIT is worth ?AMOUNT (which is in another CurrencyMeasure).") Economy.kif 3666-3669
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3663-3663
(domain currencyExchangeRate 2 CurrencyMeasure) Economy.kif 3664-3664
(instance currencyExchangeRate BinaryPredicate) Economy.kif 3662-3662

appearance as argument number 2
-------------------------


(format ChineseLanguage currencyExchangeRate "%2 %n 是 %1 的 currency 交换汇率") domainEnglishFormat.kif 600-600
(format ChineseTraditionalLanguage currencyExchangeRate "%2 %n 是 %1 的 currency 交換匯率") domainEnglishFormat.kif 599-599
(format EnglishLanguage currencyExchangeRate "%2 is %n a currency exchange rate of %1") domainEnglishFormat.kif 598-598
(termFormat ChineseLanguage currencyExchangeRate "汇率") domainEnglishFormat.kif 18069-18069
(termFormat ChineseTraditionalLanguage currencyExchangeRate "匯率") domainEnglishFormat.kif 18068-18068
(termFormat EnglishLanguage currencyExchangeRate "currency exchange rate") domainEnglishFormat.kif 18067-18067

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3671-3676
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3678-3683


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