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
(domainSubclass currencyExchangePerUSDollar 2 TimeInterval) Economy.kif 3633-3633
(instance currencyExchangePerUSDollar BinaryPredicate) Economy.kif 3631-3631

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

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


(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (currencyExchangeRateInPeriod UnitedStatesDollar ?AMOUNT ?PERIOD))
Economy.kif 3651-3653
(<=>
    (currencyExchangePerUSDollar ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (currencyExchangeRate UnitedStatesDollar ?AMOUNT)))))
Economy.kif 3664-3669


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