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

KB Term:  Term intersection
English Word: 

Sigma KEE - Aruba
Aruba(aruba)
Aruba

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


(instance Aruba LandArea) CountriesAndRegions.kif 417-417 Aruba is an instance of land area
(geographicSubregion Aruba CaribbeanRegion) CountriesAndRegions.kif 430-430 Aruba is a geographic subregion of caribbean region
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3730-3730 Aruba is a dependent of netherlands
(documentation Aruba EnglishLanguage "A dependency of the Netherlands") CountriesAndRegions.kif 3731-3731 Aruba is a dependent of netherlands
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 Aruba is an instance of dependency or special sovereignty area
(economyType Aruba LessDevelopedCountry) Economy.kif 236-236 Less developed country is an economy type of aruba
(economyType Aruba DevelopingCountry) Economy.kif 620-620 Developing country is an economy type of aruba
(externalImage Aruba "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Aruba.png") pictureList.kif 239-239 Developing country is an economy type of aruba

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


(names "Aruba" Aruba) CountriesAndRegions.kif 4087-4087 Aruba has name "Aruba"
(located QueenBeatrixInternationalArubaOranjestadAirport Aruba) WorldAirports.kif 1644-1644 Queen Beatrix International Aruba Oranjestad Airport is located at aruba
(termFormat EnglishLanguage Aruba "aruba") domainEnglishFormat.kif 8590-8590 Queen Beatrix International Aruba Oranjestad Airport is located at aruba
(termFormat ChineseTraditionalLanguage Aruba "阿魯巴") domainEnglishFormat.kif 8591-8591 Queen Beatrix International Aruba Oranjestad Airport is located at aruba
(termFormat ChineseLanguage Aruba "阿鲁巴") domainEnglishFormat.kif 8592-8592 Queen Beatrix International Aruba Oranjestad Airport is located at aruba

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


(codeMapping ISO_3166_1_alpha_2 "AW" Aruba) Media.kif 2791-2791 "AW" in ISO_3166_1_alpha_2 denotes aruba


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