UnitedStatesDollar![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") | chinese_format.kif 2619-2619 | |
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") | Merge.kif 7288-7288 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ United_States_one_dollar_bill%2C_obverse.jpg") | pictureList.kif 4420-4420 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ commons/ f/ f3/ Series2004NoteFront_50.jpg") | pictureList.kif 4419-4419 | |
(externalImage UnitedStatesDollar "http://upload.wikimedia.org/wikipedia/ en/ 5/ 5f/ Usdollar100.jpg") | pictureList.kif 4418-4418 | |
(instance UnitedStatesDollar UnitOfCurrency) | Merge.kif 7287-7287 |
appearance as argument number 2 |
![]() |
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) | Economy.kif 2951-2951 | |
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") | domainEnglishFormat.kif 60347-60347 | |
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") | domainEnglishFormat.kif 60346-60346 | |
(termFormat EnglishLanguage UnitedStatesDollar "united states dollar") | domainEnglishFormat.kif 60345-60345 |
appearance as argument number 3 |
![]() |
(codeMapping ISO-4217-A "USD" UnitedStatesDollar) | Media.kif 2302-2302 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7295-7297 |
![]() |
![]() |