| 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 は CurrencyCoin の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnitedStatesCentCoin "美国分硬币") | domainEnglishFormat.kif 60344-60344 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesCentCoin "美國分硬幣") | domainEnglishFormat.kif 60343-60343 | |
| (termFormat EnglishLanguage UnitedStatesCentCoin "united states cent coin") | domainEnglishFormat.kif 60342-60342 |
|
|
|