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

KB Term:  Term intersection
English Word: 

Sigma KEE - HengeloAirport
HengeloAirport(Hengelo Airport)

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


(instance HengeloAirport Airport) WorldAirports.kif 25870-25870 Hengelo Airport is an instance of airport
(located HengeloAirport Netherlands) WorldAirports.kif 25872-25872 Hengelo Airport is located at netherlands

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


(abbreviation "QYH" HengeloAirport) WorldAirports.kif 25871-25871 "QYH" is an abbreviation of Hengelo Airport
(termFormat EnglishLanguage HengeloAirport "Hengelo Airport") WorldAirports.kif 39090-39090 "QYH" is an abbreviation of Hengelo 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