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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 3969-3973
(domain currencyExchangePerUSDollar 1 CurrencyMeasure) Economy.kif 3966-3966 currencyExchangePerUSDollar の数値 1 引数は 通貨測定instance では
(domainSubclass currencyExchangePerUSDollar 2 TimeInterval) Economy.kif 3967-3967 currencyExchangePerUSDollar の数値 2 引数は 時間間隔subclass では
(instance currencyExchangePerUSDollar BinaryPredicate) Economy.kif 3965-3965 currencyExchangePerUSDollar2進述語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 18081-18081
(termFormat ChineseTraditionalLanguage currencyExchangePerUSDollar "貨幣兌換perUS美元") domainEnglishFormat.kif 18080-18080
(termFormat EnglishLanguage currencyExchangePerUSDollar "currency exchange perUS dollar") domainEnglishFormat.kif 18079-18079

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))
Economy.kif 3985-3987 currencyExchangePerUSDollar 通貨測定 and 時間間隔 currencyExchangeRateInPeriod UnitedStatesDollar, 通貨測定 and 時間間隔
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3998-4003 currencyExchangePerUSDollar 通貨測定 and 時間間隔 時間位置 時間位置 時間間隔instance では currencyExchangeRate UnitedStatesDollar and 通貨測定 時間位置during holds


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