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 3632-3636
(domain currencyExchangePerUSDollar 1 CurrencyMeasure) Economy.kif 3629-3629 货币兑换perUS美元 的 1 数量 是 货币测量instance
(domainSubclass currencyExchangePerUSDollar 2 TimeInterval) Economy.kif 3630-3630 货币兑换perUS美元 的 2 数量 是 时距subclass
(instance currencyExchangePerUSDollar BinaryPredicate) Economy.kif 3628-3628 货币兑换perUS美元二元谓语instance

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


(format ChineseLanguage currencyExchangePerUSDollar "%2 %n 是 %1 的 currency 交换 每美元") domainEnglishFormat.kif 596-596
(format ChineseTraditionalLanguage currencyExchangePerUSDollar "%2 %n 是 %1 的 currency 交換 每美元") domainEnglishFormat.kif 595-595
(format EnglishLanguage currencyExchangePerUSDollar "%2 is %n a currency exchange per US dollar of %1") domainEnglishFormat.kif 594-594
(termFormat ChineseLanguage currencyExchangePerUSDollar "货币兑换perUS美元") domainEnglishFormat.kif 18072-18072
(termFormat ChineseTraditionalLanguage currencyExchangePerUSDollar "貨幣兌換perUS美元") domainEnglishFormat.kif 18071-18071
(termFormat EnglishLanguage currencyExchangePerUSDollar "currency exchange perUS dollar") domainEnglishFormat.kif 18070-18070

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))
Economy.kif 3648-3650 有点 时距 货币测量currency 交换 每美元 若且唯若 美国美元 对于 有点 时距 在周期 那个 货币测量currency 交换汇率
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3661-3666 有点 时距 货币测量currency 交换 每美元 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instance那个 货币测量美国美元currency 交换汇率 在 那个 时间位置 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 3.0 is open source software produced by Articulate Software and its partners