Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| currencyExchangeRate |
| appearance as argument number 1 |
|
| (instance currencyExchangeRate BinaryPredicate) | Economy.kif 3984-3984 | currency exchange rate is an instance of binary predicate |
| (domain currencyExchangeRate 1 UnitOfCurrency) | Economy.kif 3985-3985 | The number 1 argument of currency exchange rate is an instance of unit of currency |
| (domain currencyExchangeRate 2 CurrencyMeasure) | Economy.kif 3986-3986 | The number 2 argument of currency exchange rate is an instance of currency measure |
| (documentation currencyExchangeRate EnglishLanguage "(currencyExchangeRate ?UNIT ?AMOUNT) means that the currency denomination ?UNIT is worth ?AMOUNT (which is in another CurrencyMeasure).") | Economy.kif 3988-3991 | The number 2 argument of currency exchange rate is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage currencyExchangeRate "%2 is %n a currency exchange rate of %1") | domainEnglishFormat.kif 598-598 | |
| (format ChineseTraditionalLanguage currencyExchangeRate "%2 %n 是 %1 的 currency 交換匯率") | domainEnglishFormat.kif 599-599 | |
| (format ChineseLanguage currencyExchangeRate "%2 %n 是 %1 的 currency 交换汇率") | domainEnglishFormat.kif 600-600 | |
| (termFormat EnglishLanguage currencyExchangeRate "currency exchange rate") | domainEnglishFormat.kif 18078-18078 | |
| (termFormat ChineseTraditionalLanguage currencyExchangeRate "匯率") | domainEnglishFormat.kif 18079-18079 | |
| (termFormat ChineseLanguage currencyExchangeRate "汇率") | domainEnglishFormat.kif 18080-18080 |
| consequent |
|
|
| (<=> (currencyExchangePerUSDollar ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate UnitedStatesDollar ?AMOUNT))))) |
Economy.kif 3993-3998 | X is a currency exchange per US dollar of Y if, only if there exists Z such that Z is an instance of X, and Y is a currency exchange rate of united states dollar holds during Z |
| (<=> (currencyExchangeRateInPeriod ?UNIT ?AMOUNT ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (currencyExchangeRate ?UNIT ?AMOUNT))))) |
Economy.kif 4000-4005 | X currency exchange rate in period Y for Z if, only if there exists W such that W is an instance of Z, and Y is a currency exchange rate of X holds during W |
|