Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  currencyExchangeRate

 Sigma KEE - currencyExchangeRate
currencyExchangeRate

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


(instance currencyExchangeRate BinaryPredicate) Economy.kif 3984-3984 currency exchange rate is an instance of binary predicate
(domain currencyExchangeRate 1 UnitOfCurrency) Economy.kif 3985-3985 The number 1 argument of currency exchange rate is an instance of unit of currency
(domain currencyExchangeRate 2 CurrencyMeasure) Economy.kif 3986-3986 The number 2 argument of currency exchange rate is an instance of currency measure
(documentation currencyExchangeRate EnglishLanguage "(currencyExchangeRate ?UNIT ?AMOUNT) means that the currency denomination ?UNIT is worth ?AMOUNT (which is in another CurrencyMeasure).") Economy.kif 3988-3991 The number 2 argument of currency exchange rate is an instance of currency measure

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


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

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3993-3998 X is a currency exchange per US dollar of Y if, only if there exists Z such that Z is an instance of X, and Y is a currency exchange rate of united states dollar holds during Z
(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))		 Economy.kif 4000-4005 X currency exchange rate in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a currency exchange rate of X holds during W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners