UnitedStatesFiveCentCoin |
appearance as argument number 1 |
(currencyValue UnitedStatesFiveCentCoin (MeasureFn 5.0 UnitedStatesCent)) |
Economy.kif 2932-2932 | currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s) |
(externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2e/ 2006_Nickel_Proof_Obv.jpg") | pictureList.kif 4839-4839 | |
(externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Jefferson-Nickel-Unc-Obv.jpg") | pictureList.kif 4054-4054 | |
(subclass UnitedStatesFiveCentCoin CurrencyCoin) | Economy.kif 2931-2931 | UnitedStatesFiveCentCoin ist eine teilkategorie von CurrencyCoin |
appearance as argument number 2 |
(termFormat ChineseLanguage UnitedStatesFiveCentCoin "美国五美分硬币") | domainEnglishFormat.kif 60394-60394 | |
(termFormat ChineseTraditionalLanguage UnitedStatesFiveCentCoin "美國五美分硬幣") | domainEnglishFormat.kif 60393-60393 | |
(termFormat EnglishLanguage UnitedStatesFiveCentCoin "united states five cent coin") | domainEnglishFormat.kif 60392-60392 |