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 3646-3649
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) Economy.kif 3642-3642 currencyExchangeRateInPeriod 的 1 数量 是 UnitOfCurrencyinstance
(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 currencyExchangeRateInPeriod UnitOfCurrency, 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instancecurrencyExchangeRate 那个 UnitOfCurrency and 那个 货币测量那个 时间位置 holdsDuring

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners