Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Svalbard
|
|
|
| appearance as argument number 1 |
|
|
| (instance Svalbard LandArea) | CountriesAndRegions.kif 313-313 | Svalbard is an instance of land area |
| (geographicSubregion Svalbard NorthernEurope) | CountriesAndRegions.kif 325-325 | Svalbard is a geographic subregion of northern europe |
| (dependentGeopoliticalArea Svalbard Norway) | CountriesAndRegions.kif 3842-3842 | Svalbard is a dependent of norway |
| (documentation Svalbard EnglishLanguage "A dependency of Norway") | CountriesAndRegions.kif 3843-3843 | Svalbard is a dependent of norway |
| (instance Svalbard DependencyOrSpecialSovereigntyArea) | CountriesAndRegions.kif 3915-3915 | Svalbard is an instance of dependency or special sovereignty area |
| (geographicSubregion Svalbard SvalbardAndJanMayenIsland) | Media.kif 2532-2532 | Svalbard is a geographic subregion of Svalbard and Jan Mayen island |
| (externalImage Svalbard "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ S/ Svalbard.png") | pictureList.kif 762-762 | Svalbard is a geographic subregion of Svalbard and Jan Mayen island |
| appearance as argument number 2 |
|
|
| (names "Svalbard" Svalbard) | CountriesAndRegions.kif 4041-4041 | Svalbard has name "Svalbard" |
| (termFormat EnglishLanguage Svalbard "svalbard") | domainEnglishFormat.kif 56414-56414 | Svalbard has name "Svalbard" |
| (termFormat ChineseTraditionalLanguage Svalbard "斯瓦爾巴") | domainEnglishFormat.kif 56415-56415 | Svalbard has name "Svalbard" |
| (termFormat ChineseLanguage Svalbard "斯瓦尔巴") | domainEnglishFormat.kif 56416-56416 | Svalbard has name "Svalbard" |
|
