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 3643-3646
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3639-3639 期间货币汇率 的 1 数量 是 UnitOfCurrency 的 instance
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure) Economy.kif 3640-3640 期间货币汇率 的 2 数量 是 货币测量 的 instance
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval) Economy.kif 3641-3641 期间货币汇率 的 3 数量 是 时距 的 subclass
(instance currencyExchangeRateInPeriod TernaryPredicate) Economy.kif 3638-3638 期间货币汇率 是 三元谓语 的 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 18084-18084
(termFormat ChineseTraditionalLanguage currencyExchangeRateInPeriod "期間貨幣匯率") domainEnglishFormat.kif 18083-18083
(termFormat EnglishLanguage currencyExchangeRateInPeriod "currency exchange rate in period") domainEnglishFormat.kif 18082-18082

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


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

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))		 Economy.kif 3648-3650 有点 时距 是 货币测量 的 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