Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
UnitedStatesQuarterCoin(united states quarter coin)
|
| appearance as argument number 1 |
|
| (subclass UnitedStatesQuarterCoin CurrencyCoin) | Economy.kif 3269-3269 | United states quarter coin is a subclass of coin |
| (currencyValue UnitedStatesQuarterCoin (MeasureFn 25.0 UnitedStatesCent)) |
Economy.kif 3270-3270 | 25.0 United states cent(s) is a currency value of united states quarter coin |
| (externalImage UnitedStatesQuarterCoin "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ 1976_Bicentennial_Quarter_Rev.png") | pictureList.kif 4421-4421 | 25.0 United states cent(s) is a currency value of united states quarter coin |
| (externalImage UnitedStatesQuarterCoin "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1d/ USQuarter1a.jpg") | pictureList.kif 4422-4422 | 25.0 United states cent(s) is a currency value of united states quarter coin |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UnitedStatesQuarterCoin "united states quarter coin") | domainEnglishFormat.kif 60401-60401 | |
| (termFormat ChineseTraditionalLanguage UnitedStatesQuarterCoin "美國四分之一硬幣") | domainEnglishFormat.kif 60402-60402 | |
| (termFormat ChineseLanguage UnitedStatesQuarterCoin "美国四分之一硬币") | domainEnglishFormat.kif 60403-60403 |
|