UnitedStatesDollar(United States dollar)![]() ![]() ![]() |
appearance as argument number 1 |
![]() |
(documentation UnitedStatesDollar ChineseLanguage "这是一种货币单位。") | chinese_format.kif 2619-2619 | |
(documentation UnitedStatesDollar EnglishLanguage "A currency measure.") | Merge.kif 7351-7351 | |
(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 7350-7350 | United States dollar is an instance of unit of currency |
appearance as argument number 2 |
![]() |
(currencyValue UnitedStatesDollarBill UnitedStatesDollar) | Economy.kif 2952-2952 | United States dollar is a currency value of United States dollar bill |
(termFormat ChineseLanguage UnitedStatesDollar "美国美元") | domainEnglishFormat.kif 60350-60350 | |
(termFormat ChineseTraditionalLanguage UnitedStatesDollar "美國美元") | domainEnglishFormat.kif 60349-60349 | |
(termFormat EnglishLanguage UnitedStatesDollar "United States dollar") | domainEnglishFormat.kif 60348-60348 |
appearance as argument number 3 |
![]() |
(codeMapping ISO-4217-A "USD" UnitedStatesDollar) | Media.kif 2311-2311 | "USD" in ISO-4217-A denotes United States dollar |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7358-7360 | A real number United States cent(s) is equal to the real number and 0.01 United States dollar(s) |
![]() |
![]() |