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

KB Term:  Term intersection
English Word: 

Sigma KEE - GodthabNuukAirport
GodthabNuukAirport(Godthab Nuuk Airport)

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


(instance GodthabNuukAirport Airport) WorldAirports.kif 10584-10584 Godthab Nuuk Airport is an instance of airport
(located GodthabNuukAirport Greenland) WorldAirports.kif 10586-10586 Godthab Nuuk Airport is located at greenland

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


(abbreviation "GOH" GodthabNuukAirport) WorldAirports.kif 10585-10585 "GOH" is an abbreviation of Godthab Nuuk Airport
(termFormat EnglishLanguage GodthabNuukAirport "Godthab Nuuk Airport") WorldAirports.kif 38988-38988 "GOH" is an abbreviation of Godthab Nuuk 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