TreeView Knowledge Base Browser - currencyExchangeRateInPeriod

appearance as argument number 1

(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 3646-3649
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency)	Economy.kif 3642-3642	currencyExchangeRateInPeriod 的 1 数量是 UnitOfCurrency 的 instance
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure)	Economy.kif 3643-3643	currencyExchangeRateInPeriod 的 2 数量是货币测量的 instance
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval)	Economy.kif 3644-3644	currencyExchangeRateInPeriod 的 3 数量是时距的 subclass
(instance currencyExchangeRateInPeriod TernaryPredicate)	Economy.kif 3641-3641	currencyExchangeRateInPeriod 是三元谓语的 instance

appearance as argument number 2

(format EnglishLanguage currencyExchangeRateInPeriod "%1 %n{doesn't} currency exchange rate in period %2 for %3")	domainEnglishFormat.kif 160-160
(termFormat EnglishLanguage currencyExchangeRateInPeriod "currency exchange rate in period")	domainEnglishFormat.kif 3435-3435	termFormat EnglishLanguage, currencyExchangeRateInPeriod and "currency exchange rate in period"

antecedent

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

Economy.kif 3671-3676

consequent

Economy.kif 3651-3653