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