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

KB Term:  Term intersection
English Word: 

Sigma KEE - KampalaEntebbeAirport
KampalaEntebbeAirport(Kampala Entebbe Airport)

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


(instance KampalaEntebbeAirport Airport) WorldAirports.kif 7796-7796 Kampala Entebbe Airport is an instance of airport
(located KampalaEntebbeAirport Uganda) WorldAirports.kif 7798-7798 Kampala Entebbe Airport is located at uganda

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


(abbreviation "EBB" KampalaEntebbeAirport) WorldAirports.kif 7797-7797 "EBB" is an abbreviation of Kampala Entebbe Airport
(termFormat EnglishLanguage KampalaEntebbeAirport "Kampala Entebbe Airport") WorldAirports.kif 43030-43030 "EBB" is an abbreviation of Kampala Entebbe Airport


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