| UnitedStatesTenCentCoin
| |
| appearance as argument number 1 |
|
|
| (externalImage UnitedStatesTenCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 17/ 2005_Dime_Obv_Unc_P.png") | pictureList.kif 4056-4056 | |
| (externalImage UnitedStatesTenCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ 2005_Dime_Rev_Unc_P.png") | pictureList.kif 4424-4424 | |
| (subclass UnitedStatesTenCentCoin CurrencyCoin) | Economy.kif 2934-2934 | UnitedStatesTenCentCoin è una sottoclasse di CurrencyCoin |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnitedStatesTenCentCoin "美国十美分硬币") | domainEnglishFormat.kif 60430-60430 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesTenCentCoin "美國十美分硬幣") | domainEnglishFormat.kif 60429-60429 | |
| (termFormat EnglishLanguage UnitedStatesTenCentCoin "united states ten cent coin") | domainEnglishFormat.kif 60428-60428 |
|
|
|