UnitedStatesCent
|
|
appearance as argument number 1 |
(documentation UnitedStatesCent ChineseLanguage "这是一种货币单位, 1 UnitedStatesCent 等于 .01 UnitedStatesDollar。") | chinese_format.kif 2620-2621 | |
(documentation UnitedStatesCent EnglishLanguage "A currency measure. 1 UnitedStatesCent is equal to .01 UnitedStatesDollars.") | Merge.kif 7389-7390 | |
(documentation UnitedStatesCent JapaneseLanguage "通貨メジャー。1 UnitedStatesCent は .01 UnitedStatesDollar に等しい。") | japanese_format.kif 1334-1335 | |
(externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Assorted_United_States_coins.jpg") | pictureList.kif 4415-4415 | |
(externalImage UnitedStatesCent "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ 2005-Penny-Uncirculated-Obverse-cropped.png") | pictureList.kif 4414-4414 | |
(instance UnitedStatesCent UnitOfCurrency) | Merge.kif 7387-7387 | UnitedStatesCent ist ein fall von UnitOfCurrency %n{nicht} |
appearance as argument number 2 |
(currencyValue UnitedStatesCentCoin UnitedStatesCent) | Economy.kif 2929-2929 | currencyValue UnitedStatesCentCoin and UnitedStatesCent |
(termFormat ChineseLanguage UnitedStatesCent "美国分") | domainEnglishFormat.kif 60340-60340 | |
(termFormat ChineseTraditionalLanguage UnitedStatesCent "美國分") | domainEnglishFormat.kif 60339-60339 | |
(termFormat EnglishLanguage UnitedStatesCent "united states cent") | domainEnglishFormat.kif 60338-60338 |
statement |
(currencyValue UnitedStatesCentCoin (MeasureFn 10.0 UnitedStatesCent)) |
Economy.kif 2935-2935 | currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s) |
(currencyValue UnitedStatesFiveCentCoin (MeasureFn 5.0 UnitedStatesCent)) |
Economy.kif 2932-2932 | currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s) |
(currencyValue UnitedStatesQuarterCoin (MeasureFn 25.0 UnitedStatesCent)) |
Economy.kif 2938-2938 | currencyValue UnitedStatesQuarterCoin and 25.0 UnitedStatesCent(s) |
(equal (MeasureFn ?NUMBER UnitedStatesCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar)) |
Merge.kif 7392-7394 | RealNumber UnitedStatesCent(s) ist gleich ** RealNumber und 0.01 UnitedStatesDollar(s) %n{nicht} |