currencyExchangeRateInPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(instance currencyExchangeRateInPeriod TernaryPredicate)	Economy.kif 3970-3970	currency exchange rate in period is an instance of ternary predicate
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency)	Economy.kif 3971-3971	The number 1 argument of currency exchange rate in period is an instance of unit of currency
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure)	Economy.kif 3972-3972	The number 2 argument of currency exchange rate in period is an instance of currency measure
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval)	Economy.kif 3973-3973	The number 3 argument of currency exchange rate in period is a subclass of timeframe
(documentation currencyExchangeRateInPeriod EnglishLanguage "(currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) means that the currency denomination ?UNIT is worth ?AMOUNT (which is expressed in another UnitOfCurrency) during the TimeInterval indicated by ?PERIOD.")	Economy.kif 3975-3978	The number 3 argument of currency exchange rate in period is a subclass of timeframe

appearance as argument number 2

(format EnglishLanguage currencyExchangeRateInPeriod "%1 %n{doesn't} currency exchange rate in period %2 for %3")	domainEnglishFormat.kif 602-602
(format ChineseTraditionalLanguage currencyExchangeRateInPeriod "%1 %n{不是} 對於 %3 在週期 %2 的 currency 交換匯率")	domainEnglishFormat.kif 603-603
(format ChineseLanguage currencyExchangeRateInPeriod "%1 %n{不是} 对于 %3 在周期 %2 的 currency 交换汇率")	domainEnglishFormat.kif 604-604
(termFormat EnglishLanguage currencyExchangeRateInPeriod "currency exchange rate in period")	domainEnglishFormat.kif 18084-18084
(termFormat ChineseTraditionalLanguage currencyExchangeRateInPeriod "期間貨幣匯率")	domainEnglishFormat.kif 18085-18085
(termFormat ChineseLanguage currencyExchangeRateInPeriod "期间货币汇率")	domainEnglishFormat.kif 18086-18086

antecedent

(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))

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

consequent

X is a currency exchange per US dollar of Y if and only if united states dollar currency exchange rate in period Y for X