Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
IsleOfMan(isle of man)
|
| appearance as argument number 1 |
|
| (instance IsleOfMan LandArea) | CountriesAndRegions.kif 346-346 | Isle of man is an instance of land area |
| (geographicSubregion IsleOfMan WesternEurope) | CountriesAndRegions.kif 358-358 | Isle of man is a geographic subregion of western europe |
| (dependentGeopoliticalArea IsleOfMan UnitedKingdom) | CountriesAndRegions.kif 3793-3793 | Isle of man is a dependent of united kingdom |
| (documentation IsleOfMan EnglishLanguage "A dependency of the UnitedKingdom") | CountriesAndRegions.kif 3794-3794 | Isle of man is a dependent of united kingdom |
| (instance IsleOfMan DependencyOrSpecialSovereigntyArea) | CountriesAndRegions.kif 3889-3889 | Isle of man is an instance of dependency or special sovereignty area |
| (orientation IsleOfMan NorthernIreland East) | Geography.kif 8629-8629 | Isle of man is east of to northern ireland |
| (externalImage IsleOfMan "http://articulatesoftware.com/SUMOpictures/flags/ Countries/ I/ isle_of_man.png") | pictureList.kif 522-522 | Isle of man is east of to northern ireland |
| appearance as argument number 2 |
|
|
| (names "Isle of Man" IsleOfMan) | CountriesAndRegions.kif 4056-4056 | Isle of man has name "Isle of Man" |
| (termFormat EnglishLanguage IsleOfMan "isle of man") | domainEnglishFormat.kif 31179-31179 | Isle of man has name "Isle of Man" |
| (termFormat ChineseTraditionalLanguage IsleOfMan "人島") | domainEnglishFormat.kif 31180-31180 | Isle of man has name "Isle of Man" |
| (termFormat ChineseLanguage IsleOfMan "人岛") | domainEnglishFormat.kif 31181-31181 | Isle of man has name "Isle of Man" |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_3166_1_alpha_2 "IM" IsleOfMan) | Media.kif 2667-2667 | "IM" in ISO_3166_1_alpha_2 denotes isle of man |
|