Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ItalianLiraCoin(italian lira coin)
|
| appearance as argument number 1 |
|
| (subclass ItalianLiraCoin CurrencyCoin) | Economy.kif 3253-3253 | Italian lira coin is a subclass of coin |
| (currencyValue ItalianLiraCoin ItalianLira) | Economy.kif 3254-3254 | Italian lira is a currency value of italian lira coin |
| (externalImage ItalianLiraCoin "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Lira_1951.jpg") | pictureList.kif 4745-4745 | Italian lira is a currency value of italian lira coin |
| (externalImage ItalianLiraCoin "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Italia_200_lire_Montessori.JPG") | pictureList.kif 4886-4886 | Italian lira is a currency value of italian lira coin |
| appearance as argument number 2 |
|
|
|