| UnitedStatesFiveCentCoin
| |
| appearance as argument number 1 |
|
|
| (currencyValue UnitedStatesFiveCentCoin (MeasureFn 5.0 UnitedStatesCent)) |
Economy.kif 2932-2932 | currencyValue UnitedStatesFiveCentCoin and 5.0 UnitedStatesCent(s) |
| (externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2e/ 2006_Nickel_Proof_Obv.jpg") | pictureList.kif 4839-4839 | |
| (externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Jefferson-Nickel-Unc-Obv.jpg") | pictureList.kif 4054-4054 | |
| (subclass UnitedStatesFiveCentCoin CurrencyCoin) | Economy.kif 2931-2931 | UnitedStatesFiveCentCoin est une sous-classe de CurrencyCoin |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage UnitedStatesFiveCentCoin "美国五美分硬币") | domainEnglishFormat.kif 60392-60392 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesFiveCentCoin "美國五美分硬幣") | domainEnglishFormat.kif 60391-60391 | |
| (termFormat EnglishLanguage UnitedStatesFiveCentCoin "united states five cent coin") | domainEnglishFormat.kif 60390-60390 |
|
|
|