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

KB Term:  Term intersection
English Word: 

Sigma KEE - ArnhemAirport
ArnhemAirport(Arnhem Airport)

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


(instance ArnhemAirport Airport) WorldAirports.kif 25101-25101 Arnhem Airport is an instance of airport
(located ArnhemAirport Netherlands) WorldAirports.kif 25103-25103 Arnhem Airport is located at netherlands

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


(abbreviation "QAR" ArnhemAirport) WorldAirports.kif 25102-25102 "QAR" is an abbreviation of Arnhem Airport
(termFormat EnglishLanguage ArnhemAirport "Arnhem Airport") WorldAirports.kif 39006-39006 "QAR" is an abbreviation of Arnhem 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