![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Entity
|
|
|
| appearance as argument number 1 |
|
|
| (geographicSubregion Austria CentralEurope) | CountriesAndRegions.kif 275-275 | Austria is a geographic subregion of central europe |
| (instance Austria Nation) | CountriesAndRegions.kif 276-276 | Austria is an instance of nation |
| (documentation Austria EnglishLanguage "The Nation of Austria.") | CountriesAndRegions.kif 1186-1186 | Austria is an instance of nation |
| (economyType Austria DevelopedCountry) | Economy.kif 148-148 | Developed country is an economy type of austria |
| (economyType Austria AdvancedEconomy) | Economy.kif 536-536 | Advanced economy is an economy type of austria |
| (currencyType Austria EuroDollar) | Economy.kif 3301-3301 | Euro dollar is a currency type of austria |
| (member Austria EuropeanMonetaryUnion) | Government.kif 3191-3191 | Austria is a member of european monetary union |
| (externalImage Austria "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Austria.png") | pictureList.kif 246-246 | Austria is a member of european monetary union |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "AT" Austria) | Media.kif 2597-2597 | "AT" in ISO_3166_1_alpha_2 denotes austria |