|
|
   UnitedStatesCentCoin
|
|
|
| appearance as argument number 1 |
|
|
| (currencyValue UnitedStatesCentCoin (MeasureFn 10.0 UnitedStatesCent)) |
Economy.kif 2935-2935 | |
| (currencyValue UnitedStatesCentCoin UnitedStatesCent) | Economy.kif 2929-2929 | |
| (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 |
| 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 |
|
|
|
