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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - DembidolloAirport
DembidolloAirport(Dembidollo Airport)

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


(instance DembidolloAirport Airport) WorldAirports.kif 6841-6841 Dembidollo Airport is an instance of airport
(located DembidolloAirport Ethiopia) WorldAirports.kif 6843-6843 Dembidollo Airport is located at ethiopia

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


(abbreviation "DEM" DembidolloAirport) WorldAirports.kif 6842-6842 "DEM" is an abbreviation of Dembidollo Airport
(termFormat EnglishLanguage DembidolloAirport "Dembidollo Airport") WorldAirports.kif 42120-42120 "DEM" is an abbreviation of Dembidollo 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