Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - IsleOfMan

appearance as argument number 1

(dependentGeopoliticalArea IsleOfMan UnitedKingdom) CountriesAndRegions.kif 3795-3795 dependentGeopoliticalArea IsleOfMan and UnitedKingdom
(documentation IsleOfMan EnglishLanguage "A dependency of the UnitedKingdom") CountriesAndRegions.kif 3796-3796
(externalImage IsleOfMan " pictures/ flags/ Countries/ I/ isle_of_man.png") pictureList.kif 522-522
(geographicSubregion IsleOfMan WesternEurope) CountriesAndRegions.kif 358-358 geographicSubregion IsleOfMan and WesternEurope
(instance IsleOfMan DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3891-3891 instance IsleOfMan and DependencyOrSpecialSovereigntyArea
(instance IsleOfMan LandArea) CountriesAndRegions.kif 346-346 instance IsleOfMan and LandArea
(orientation IsleOfMan NorthernIreland East) Geography.kif 6303-6303 orientation IsleOfMan, NorthernIreland and East

appearance as argument number 2

(names "Isle of Man" IsleOfMan) CountriesAndRegions.kif 4058-4058 names "Isle of Man" and IsleOfMan
(termFormat ChineseLanguage IsleOfMan "人岛") domainEnglishFormat.kif 31096-31096
(termFormat ChineseTraditionalLanguage IsleOfMan "人島") domainEnglishFormat.kif 31095-31095
(termFormat EnglishLanguage IsleOfMan "isle of man") domainEnglishFormat.kif 31094-31094

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "IM" IsleOfMan) Media.kif 2690-2690 codeMapping ISO-3166-1-alpha-2, "IM" and IsleOfMan

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners