Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CanadianDollarCoin(canadian dollar coin)
|
| appearance as argument number 1 |
|
| (subclass CanadianDollarCoin CurrencyCoin) | Economy.kif 3243-3243 | Canadian dollar coin is a subclass of coin |
| (currencyValue CanadianDollarCoin CanadianDollar) | Economy.kif 3244-3244 | Canadian dollar is a currency value of canadian dollar coin |
| (externalImage CanadianDollarCoin "http://upload.wikimedia.org/wikipedia/ en/ 9/ 99/ Loonie_reverse_view.png") | pictureList.kif 3670-3670 | Canadian dollar is a currency value of canadian dollar coin |
| (externalImage CanadianDollarCoin "http://upload.wikimedia.org/wikipedia/ en/ 6/ 62/ Toonie_reverse.jpg") | pictureList.kif 3821-3821 | Canadian dollar is a currency value of canadian dollar coin |
| appearance as argument number 2 |
|
|
|