Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
UnitedStatesTenCentCoin(united states ten cent coin)
|  | dime |
| appearance as argument number 1 |
|
|
| (subclass UnitedStatesTenCentCoin CurrencyCoin) | Economy.kif 3266-3266 | United states ten cent coin is a subclass of coin |
| (externalImage UnitedStatesTenCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 17/ 2005_Dime_Obv_Unc_P.png") | pictureList.kif 4055-4055 | United states ten cent coin is a subclass of coin |
| (externalImage UnitedStatesTenCentCoin "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5c/ 2005_Dime_Rev_Unc_P.png") | pictureList.kif 4423-4423 | United states ten cent coin is a subclass of coin |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UnitedStatesTenCentCoin "united states ten cent coin") | domainEnglishFormat.kif 60413-60413 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesTenCentCoin "美國十美分硬幣") | domainEnglishFormat.kif 60414-60414 | |
| (termFormat ChineseLanguage UnitedStatesTenCentCoin "美国十美分硬币") | domainEnglishFormat.kif 60415-60415 |
|