UnitedStatesCentCoin |
appearance as argument number 1 |
(currencyValue UnitedStatesCentCoin (MeasureFn 10.0 UnitedStatesCent)) |
Economy.kif 2935-2935 | currencyValue UnitedStatesCentCoin and 10.0 UnitedStatesCent(s |
(currencyValue UnitedStatesCentCoin UnitedStatesCent) | Economy.kif 2929-2929 | currencyValue UnitedStatesCentCoin and UnitedStatesCent |
(externalImage UnitedStatesCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ US_penny_2003.jpg") | pictureList.kif 4838-4838 | |
(externalImage UnitedStatesCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ b/ b8/ 2005-Penny-Uncirculated-Obverse-cropped.png") | pictureList.kif 4051-4051 | |
(externalImage UnitedStatesCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ e/ e5/ 2005_Penny_Rev_Unc_D.png") | pictureList.kif 4416-4416 | |
(subclass UnitedStatesCentCoin CurrencyCoin) | Economy.kif 2928-2928 | UnitedStatesCentCoin è una sottoclasse di CurrencyCoin |
appearance as argument number 2 |
(termFormat ChineseLanguage UnitedStatesCentCoin "美国分硬币") | domainEnglishFormat.kif 60346-60346 | |
(termFormat ChineseTraditionalLanguage UnitedStatesCentCoin "美國分硬幣") | domainEnglishFormat.kif 60345-60345 | |
(termFormat EnglishLanguage UnitedStatesCentCoin "united states cent coin") | domainEnglishFormat.kif 60344-60344 |