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

Formal Language: 


KB Term:  Term intersection
English Word: 

  currencyExchangeRateInPeriod

 Sigma KEE - currencyExchangeRateInPeriod
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 3980-3983
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3976-3976 期间货币汇率 的 1 数量 是 UnitOfCurrency 的 instance
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure) Economy.kif 3977-3977 期间货币汇率 的 2 数量 是 货币测量 的 instance
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval) Economy.kif 3978-3978 期间货币汇率 的 3 数量 是 时距 的 subclass
(instance currencyExchangeRateInPeriod TernaryPredicate) Economy.kif 3975-3975 期间货币汇率 是 三元谓语 的 instance

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


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

antecedent
-------------------------


(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))		 Economy.kif 4005-4010 UnitOfCurrency 对于 有点 时距 在周期 货币测量 的 currency 交换汇率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 UnitOfCurrency 的 currency 交换汇率 在 那个 时间位置 holdsDuring

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))		 Economy.kif 3985-3987 有点 时距 是 货币测量 的 currency 交换 每美元 若且唯若 美国美元 对于 有点 时距 在周期 那个 货币测量 的 currency 交换汇率


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