![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") | chinese_format.kif 2619-2619 | |
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") | Merge.kif 7398-7398 | |
(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 4418-4418 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") | pictureList.kif 4417-4417 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") | pictureList.kif 4416-4416 | |
(instance UnitedStatesDollar UnitOfCurrency) | Merge.kif 7397-7397 | 美国美元 是 UnitOfCurrency 的 instance |
appearance as argument number 2 |
![]() |
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) | Economy.kif 3056-3056 | 美国美元 是 美国美元的钞票 的 currency 價值 |
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") | domainEnglishFormat.kif 60405-60405 | 美国美元 是 美国美元的钞票 的 currency 價值 |
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") | domainEnglishFormat.kif 60404-60404 | 美国美元 是 美国美元的钞票 的 currency 價值 |
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") | domainEnglishFormat.kif 60403-60403 | 美国美元 是 美国美元的钞票 的 currency 價值 |
appearance as argument number 3 |
![]() |
(codeMapping ISO_4217_A "USD" UnitedStatesDollar) | Media.kif 2311-2311 | "USD" 在 ISO_4217_A denotes 美国美元 |
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 7405-7407 | 实数 美国分 equal 那个 实数 和 0.01 美国美元 |
![]() |
![]() |