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

KB Term:  Term intersection
English Word: 

Sigma KEE - Gibraltar
Gibraltar(gibraltar)
Calpe, Gibraltar, Rock_of_Gibraltar

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


(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area
(geographicSubregion Gibraltar SouthwesternEurope) CountriesAndRegions.kif 392-392 Gibraltar is a geographic subregion of southwestern europe
(dependentGeopoliticalArea Gibraltar UnitedKingdom) CountriesAndRegions.kif 3776-3776 Gibraltar is a dependent of united kingdom
(documentation Gibraltar EnglishLanguage "A dependency of the UnitedKingdom") CountriesAndRegions.kif 3777-3777 Gibraltar is a dependent of united kingdom
(instance Gibraltar DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3880-3880 Gibraltar is an instance of dependency or special sovereignty area
(externalImage Gibraltar "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ G/ Gibraltar.png") pictureList.kif 462-462 Gibraltar is an instance of dependency or special sovereignty area

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


(names "Gibraltar" Gibraltar) CountriesAndRegions.kif 4074-4074 Gibraltar has name "Gibraltar"
(located NorthFrontGibraltarAirport Gibraltar) WorldAirports.kif 10250-10250 North Front Gibraltar Airport is located at gibraltar
(termFormat EnglishLanguage Gibraltar "gibraltar") domainEnglishFormat.kif 26036-26036 North Front Gibraltar Airport is located at gibraltar
(termFormat ChineseTraditionalLanguage Gibraltar "直布羅陀") domainEnglishFormat.kif 26037-26037 North Front Gibraltar Airport is located at gibraltar
(termFormat ChineseLanguage Gibraltar "直布罗陀") domainEnglishFormat.kif 26038-26038 North Front Gibraltar Airport is located at gibraltar

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


(codeMapping ISO_3166_1_alpha_2 "GI" Gibraltar) Media.kif 2804-2804 "GI" in ISO_3166_1_alpha_2 denotes gibraltar


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners