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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyExchangeRate

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 3656-3659
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3653-3653
(domain currencyExchangeRate 2 CurrencyMeasure) Economy.kif 3654-3654
(instance currencyExchangeRate BinaryPredicate) Economy.kif 3652-3652

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 18078-18078
(termFormat ChineseTraditionalLanguage currencyExchangeRate "匯率") domainEnglishFormat.kif 18077-18077
(termFormat EnglishLanguage currencyExchangeRate "currency exchange rate") domainEnglishFormat.kif 18076-18076

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3661-3666
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3668-3673


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