Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   UnitedStatesFiveCentCoin
|
|
|
| appearance as argument number 1 |
|
|
| (subclass UnitedStatesFiveCentCoin CurrencyCoin) | Economy.kif 3263-3263 | United states five cent coin is a subclass of coin |
| (currencyValue UnitedStatesFiveCentCoin (MeasureFn 5.0 UnitedStatesCent)) |
Economy.kif 3264-3264 | 5.0 United states cent(s) is a currency value of united states five cent coin |
| (externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Jefferson_Nickel_Unc_Obv.jpg") | pictureList.kif 4053-4053 | 5.0 United states cent(s) is a currency value of united states five cent coin |
| (externalImage UnitedStatesFiveCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2e/ 2006_Nickel_Proof_Obv.jpg") | pictureList.kif 4838-4838 | 5.0 United states cent(s) is a currency value of united states five cent coin |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UnitedStatesFiveCentCoin "united states five cent coin") | domainEnglishFormat.kif 60377-60377 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesFiveCentCoin "美國五美分硬幣") | domainEnglishFormat.kif 60378-60378 | |
| (termFormat ChineseLanguage UnitedStatesFiveCentCoin "美国五美分硬币") | domainEnglishFormat.kif 60379-60379 |
|
