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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - KilaguniAirport
KilaguniAirport(Kilaguni Airport)

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


(instance KilaguniAirport Airport) WorldAirports.kif 12845-12845 Kilaguni Airport is an instance of airport
(located KilaguniAirport Tanzania) WorldAirports.kif 12847-12847 Kilaguni Airport is located at tanzania

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


(abbreviation "ILU" KilaguniAirport) WorldAirports.kif 12846-12846 "ILU" is an abbreviation of Kilaguni Airport
(termFormat EnglishLanguage KilaguniAirport "Kilaguni Airport") WorldAirports.kif 42737-42737 "ILU" is an abbreviation of Kilaguni 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