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



KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2Ra3En4Re5Ra6In7EnFn

Sigma KEE - TromelinIsland
TromelinIsland(tromelin island)

appearance as argument number 1
-------------------------


(instance TromelinIsland Island) CountriesAndRegions.kif 149-149 Tromelin island is an instance of island
(meetsSpatially TromelinIsland IndianOcean) CountriesAndRegions.kif 150-150 Tromelin island meets indian ocean
(geographicSubregion TromelinIsland SouthernAfrica) CountriesAndRegions.kif 183-183 Tromelin island is a geographic subregion of southern africa
(dependentGeopoliticalArea TromelinIsland France) CountriesAndRegions.kif 3846-3846 Tromelin island is a dependent of france
(documentation TromelinIsland EnglishLanguage "A dependency of France") CountriesAndRegions.kif 3847-3847 Tromelin island is a dependent of france
(instance TromelinIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3917-3917 Tromelin island is an instance of dependency or special sovereignty area
(externalImage TromelinIsland "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ T/ Tromelin_Island.png") pictureList.kif 797-797 Tromelin island is an instance of dependency or special sovereignty area

appearance as argument number 2
-------------------------


(names "Tromelin Island" TromelinIsland) CountriesAndRegions.kif 3975-3975 Tromelin island has name "Tromelin Island"
(termFormat EnglishLanguage TromelinIsland "tromelin island") domainEnglishFormat.kif 59209-59209 Tromelin island has name "Tromelin Island"
(termFormat ChineseTraditionalLanguage TromelinIsland "特羅姆林島") domainEnglishFormat.kif 59210-59210 Tromelin island has name "Tromelin Island"
(termFormat ChineseLanguage TromelinIsland "特罗姆林岛") domainEnglishFormat.kif 59211-59211 Tromelin island has name "Tromelin Island"


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners