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

KB Term:  Term intersection
English Word: 

Sigma KEE - EgedesmindeAirport
EgedesmindeAirport(Egedesminde Airport)

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


(instance EgedesmindeAirport Airport) WorldAirports.kif 13682-13682 Egedesminde Airport is an instance of airport
(located EgedesmindeAirport Greenland) WorldAirports.kif 13684-13684 Egedesminde Airport is located at greenland

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


(abbreviation "JEG" EgedesmindeAirport) WorldAirports.kif 13683-13683 "JEG" is an abbreviation of Egedesminde Airport
(termFormat EnglishLanguage EgedesmindeAirport "Egedesminde Airport") WorldAirports.kif 44771-44771 "JEG" is an abbreviation of Egedesminde 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