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 3642-3646
(domain currencyExchangePerUSDollar 1 CurrencyMeasure) Economy.kif 3639-3639 domain currencyExchangePerUSDollar, 1 and CurrencyMeasure
(domainSubclass currencyExchangePerUSDollar 2 TimeInterval) Economy.kif 3640-3640 domainSubclass currencyExchangePerUSDollar, 2 and TimeInterval
(instance currencyExchangePerUSDollar BinaryPredicate) Economy.kif 3638-3638 instance currencyExchangePerUSDollar and BinaryPredicate

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 18063-18063
(termFormat ChineseTraditionalLanguage currencyExchangePerUSDollar "貨幣兌換perUS美元") domainEnglishFormat.kif 18062-18062
(termFormat EnglishLanguage currencyExchangePerUSDollar "currency exchange perUS dollar") domainEnglishFormat.kif 18061-18061

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))		 Economy.kif 3658-3660 currencyExchangePerUSDollar CurrencyMeasure and TimeInterval currencyExchangeRateInPeriod UnitedStatesDollar, CurrencyMeasure and TimeInterval
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))		 Economy.kif 3671-3676 currencyExchangePerUSDollar CurrencyMeasure and TimeInterval TimePosition instance TimePosition and TimeInterval holdsDuring TimePosition and currencyExchangeRate UnitedStatesDollar and CurrencyMeasure


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