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

KB Term:  Term intersection
English Word: 

Sigma KEE - UpernavikAirport
UpernavikAirport(Upernavik Airport)

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


(instance UpernavikAirport Airport) WorldAirports.kif 14270-14270 Upernavik Airport is an instance of airport
(located UpernavikAirport Greenland) WorldAirports.kif 14272-14272 Upernavik Airport is located at greenland

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


(abbreviation "JUV" UpernavikAirport) WorldAirports.kif 14271-14271 "JUV" is an abbreviation of Upernavik Airport
(termFormat EnglishLanguage UpernavikAirport "Upernavik Airport") WorldAirports.kif 38742-38742 "JUV" is an abbreviation of Upernavik 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