![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Whiteboard
|
|
|
| appearance as argument number 1 |
|
|
| (geographicSubregion Iceland NorthernEurope) | CountriesAndRegions.kif 320-320 | Iceland is a geographic subregion of northern europe |
| (instance Iceland EuropeanNation) | CountriesAndRegions.kif 321-321 | Iceland is an instance of european nation |
| (instance Iceland Island) | CountriesAndRegions.kif 1257-1257 | Iceland is an instance of island |
| (documentation Iceland EnglishLanguage "The Nation of Iceland.") | CountriesAndRegions.kif 1258-1258 | Iceland is an instance of island |
| (economyType Iceland DevelopedCountry) | Economy.kif 159-159 | Developed country is an economy type of iceland |
| (economyType Iceland AdvancedEconomy) | Economy.kif 545-545 | Advanced economy is an economy type of iceland |
| (currencyType Iceland IcelandicKrona) | Economy.kif 3537-3537 | Icelandic krona is a currency type of iceland |
| (externalImage Iceland "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ I/ Iceland.png") | pictureList.kif 511-511 | Icelandic krona is a currency type of iceland |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "IS" Iceland) | Media.kif 2671-2671 | "IS" in ISO_3166_1_alpha_2 denotes iceland |