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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Gibraltar
Calpe, Gibraltar, Rock_of_Gibraltar

appearance as argument number 1

(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
(externalImage Gibraltar " Country_Maps/ G/ Gibraltar.png") pictureList.kif 462-462
(geographicSubregion Gibraltar SouthwesternEurope) CountriesAndRegions.kif 392-392 Gibraltar is a geographic subregion of southwestern europe
(instance Gibraltar DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3880-3880 Gibraltar is an instance of dependency or special sovereignty area
(instance Gibraltar LandArea) CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area

appearance as argument number 2

(names "Gibraltar" Gibraltar) CountriesAndRegions.kif 4074-4074 Gibraltar has name "Gibraltar"
(termFormat ChineseLanguage Gibraltar "直布罗陀") domainEnglishFormat.kif 26034-26034
(termFormat ChineseTraditionalLanguage Gibraltar "直布羅陀") domainEnglishFormat.kif 26033-26033
(termFormat EnglishLanguage Gibraltar "gibraltar") domainEnglishFormat.kif 26032-26032

appearance as argument number 3

(codeMapping ISO-3166-1-alpha-2 "GI" Gibraltar) Media.kif 2857-2857 "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 is open source software produced by Articulate Software and its partners