UnitedStatesDollar
|
|
appearance as argument number 1 |
(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") | chinese_format.kif 2619-2619 | |
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") | Merge.kif 7385-7385 | |
(documentation UnitedStatesDollar JapaneseLanguage "通貨メジャー。") | japanese_format.kif 1333-1333 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg") | pictureList.kif 4419-4419 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") | pictureList.kif 4418-4418 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") | pictureList.kif 4417-4417 | |
(instance UnitedStatesDollar UnitOfCurrency) | Merge.kif 7384-7384 | UnitedStatesDollar est une instance de UnitOfCurrency |
appearance as argument number 2 |
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) | Economy.kif 2941-2941 | currencyValue UnitedStatesDollarBill and UnitedStatesDollar |
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") | domainEnglishFormat.kif 60428-60428 | currencyValue UnitedStatesDollarBill and UnitedStatesDollar |
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") | domainEnglishFormat.kif 60427-60427 | currencyValue UnitedStatesDollarBill and UnitedStatesDollar |
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") | domainEnglishFormat.kif 60426-60426 | currencyValue UnitedStatesDollarBill and UnitedStatesDollar |
appearance as argument number 3 |
(codeMapping ISO-4217-A "USD" UnitedStatesDollar) | Media.kif 2311-2311 | codeMapping ISO-4217-A, "USD" and UnitedStatesDollar |
antecedent |
(=> (and (currentAccountBalance ?Account ?Date (MeasureFn ?Balance UnitedStatesDollar)) (lessThan ?Balance 0) (equal ?Overdraft (SubtractionFn 0 ?Balance))) (overdraft ?Account (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) |
FinancialOntology.kif 783-788 |
|
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2208-2212 |
|
consequent |
statement |
(equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7392-7394 | Nombre r�el UnitedStatesCent(s) est nombre r�el + 0.01 UnitedStatesDollar(s) |