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


KB Term:  Term intersection
English Word: 

  MountWhitney

 Sigma KEE - Martinique
Martinique(martinique)
Martinique

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


(instance Martinique LandArea) CountriesAndRegions.kif 421-421 Martinique is an instance of land area
(geographicSubregion Martinique CaribbeanRegion) CountriesAndRegions.kif 451-451 Martinique is a geographic subregion of caribbean region
(dependentGeopoliticalArea Martinique France) CountriesAndRegions.kif 3809-3809 Martinique is a dependent of france
(documentation Martinique EnglishLanguage "A dependency of France") CountriesAndRegions.kif 3810-3810 Martinique is a dependent of france
(instance Martinique DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3897-3897 Martinique is an instance of dependency or special sovereignty area
(externalImage Martinique "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ M/ Martinique.png") pictureList.kif 582-582 Martinique is an instance of dependency or special sovereignty area

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


(names "Martinique" Martinique) CountriesAndRegions.kif 4100-4100 Martinique has name "Martinique"
(located LeLamentinFortdeFranceAirport Martinique) WorldAirports.kif 8940-8940 Le Lamentin Fortde France Airport is located at martinique
(termFormat EnglishLanguage Martinique "martinique") domainEnglishFormat.kif 36359-36359 Le Lamentin Fortde France Airport is located at martinique
(termFormat ChineseTraditionalLanguage Martinique "馬提尼克") domainEnglishFormat.kif 36360-36360 Le Lamentin Fortde France Airport is located at martinique
(termFormat ChineseLanguage Martinique "马提尼克") domainEnglishFormat.kif 36361-36361 Le Lamentin Fortde France Airport is located at martinique

appearance as argument number 3
-------------------------


(codeMapping ISO_3166_1_alpha_2 "MQ" Martinique) Media.kif 2811-2811 "MQ" in ISO_3166_1_alpha_2 denotes martinique


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