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 3666-3669
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3663-3663 domain currencyExchangeRate, 1 and UnitOfCurrency
(domain currencyExchangeRate 2 CurrencyMeasure) Economy.kif 3664-3664 domain currencyExchangeRate, 2 and CurrencyMeasure
(instance currencyExchangeRate BinaryPredicate) Economy.kif 3662-3662 instance currencyExchangeRate and BinaryPredicate

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 currencyExchangePerUSDollar CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitedStatesDollar and CurrencyMeasure
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))		 Economy.kif 3678-3683 currencyExchangeRateInPeriod UnitOfCurrency, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitOfCurrency and CurrencyMeasure


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