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 3653-3656
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3649-3649 domain currencyExchangeRateInPeriod, 1 and UnitOfCurrency
(domain currencyExchangeRateInPeriod 2 CurrencyMeasure) Economy.kif 3650-3650 domain currencyExchangeRateInPeriod, 2 and CurrencyMeasure
(domainSubclass currencyExchangeRateInPeriod 3 TimeInterval) Economy.kif 3651-3651 domainSubclass currencyExchangeRateInPeriod, 3 and TimeInterval
(instance currencyExchangeRateInPeriod TernaryPredicate) Economy.kif 3648-3648 instance currencyExchangeRateInPeriod and TernaryPredicate

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 18075-18075
(termFormat ChineseTraditionalLanguage currencyExchangeRateInPeriod "期間貨幣匯率") domainEnglishFormat.kif 18074-18074
(termFormat EnglishLanguage currencyExchangeRateInPeriod "currency exchange rate in period") domainEnglishFormat.kif 18073-18073

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


(<=>
    (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate ?UNIT ?AMOUNT)))))
Economy.kif 3678-3683 currencyExchangeRateInPeriod UnitOfCurrency, CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitOfCurrency and CurrencyMeasure

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