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

Formal Language: 



KB Term:  Term intersection
English Word: 

  currencyExchangePerUSDollar

Sigma KEE - currencyExchangePerUSDollar
currencyExchangePerUSDollar

appearance as argument number 1
-------------------------


(documentation currencyExchangePerUSDollar EnglishLanguage "(currencyExchangePerUSDollar ?AMOUNT ?PERIOD) means that one UnitedStatesDollar is worth ?AMOUNT (in a non-U.S. CurrencyMeasure), during the TimeInterval indicated by ?PERIOD. The rate of exchange may be based either on international market forces or official fiat.") Economy.kif 3635-3639
(domain currencyExchangePerUSDollar 1 CurrencyMeasure) Economy.kif 3632-3632 currencyExchangePerUSDollar 的 1 数量 是 货币测量instance
(domainSubclass currencyExchangePerUSDollar 2 TimeInterval) Economy.kif 3633-3633 currencyExchangePerUSDollar 的 2 数量 是 时距subclass
(instance currencyExchangePerUSDollar BinaryPredicate) Economy.kif 3631-3631 currencyExchangePerUSDollar二元谓语instance

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


(format EnglishLanguage currencyExchangePerUSDollar "%2 is %n a currency exchange perUS dollar of %1") domainEnglishFormat.kif 158-158
(termFormat EnglishLanguage currencyExchangePerUSDollar "currency exchange perUS dollar") domainEnglishFormat.kif 3433-3433 termFormat EnglishLanguage, currencyExchangePerUSDollar and "currency exchange perUS dollar"

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))
Economy.kif 3651-3653 currencyExchangePerUSDollar 货币测量 and 有点 时距 若且唯若 currencyExchangeRateInPeriod UnitedStatesDollar, 那个 货币测量 and 有点 时距
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669 currencyExchangePerUSDollar 货币测量 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instancecurrencyExchangeRate UnitedStatesDollar and 那个 货币测量那个 时间位置 holdsDuring


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners