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



KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - SirSeretseKhamaInternationalGaboroneAirport
SirSeretseKhamaInternationalGaboroneAirport(Sir Seretse Khama International Gaborone Airport)

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


(instance SirSeretseKhamaInternationalGaboroneAirport Airport) WorldAirports.kif 9846-9846 Sir Seretse Khama International Gaborone Airport is an instance of airport
(located SirSeretseKhamaInternationalGaboroneAirport Botswana) WorldAirports.kif 9848-9848 Sir Seretse Khama International Gaborone Airport is located at botswana

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


(abbreviation "GBE" SirSeretseKhamaInternationalGaboroneAirport) WorldAirports.kif 9847-9847 "GBE" is an abbreviation of Sir Seretse Khama International Gaborone Airport
(termFormat EnglishLanguage SirSeretseKhamaInternationalGaboroneAirport "Sir Seretse Khama International Gaborone Airport") WorldAirports.kif 42258-42258 "GBE" is an abbreviation of Sir Seretse Khama International Gaborone Airport


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