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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 currencyExchangeRateInPeriod の数値 1 引数は UnitOfCurrencyinstance では %n
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure) Economy.kif 3640-3640 currencyExchangeRateInPeriod の数値 2 引数は 通貨測定instance では %n
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval) Economy.kif 3641-3641 currencyExchangeRateInPeriod の数値 3 引数は 時間間隔subclass では %n
(instance currencyExchangeRateInPeriod TernaryPredicate) Economy.kif 3638-3638 currencyExchangeRateInPeriod3進述語instance では %n

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 currencyExchangeRateInPeriod UnitOfCurrency, 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では %n currencyExchangeRate UnitOfCurrency and 通貨測定 時間位置during holds %n{ない}

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))
Economy.kif 3648-3650 currencyExchangePerUSDollar 通貨測定 and 時間間隔 currencyExchangeRateInPeriod UnitedStatesDollar, 通貨測定 and 時間間隔


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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