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

KB Term:  Term intersection
English Word: 

Sigma KEE - FindelLuxembourgAirport
FindelLuxembourgAirport(Findel Luxembourg Airport)

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


(instance FindelLuxembourgAirport Airport) WorldAirports.kif 17808-17808 Findel Luxembourg Airport is an instance of airport
(located FindelLuxembourgAirport Luxembourg) WorldAirports.kif 17810-17810 Findel Luxembourg Airport is located at luxembourg

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


(abbreviation "LUX" FindelLuxembourgAirport) WorldAirports.kif 17809-17809 "LUX" is an abbreviation of Findel Luxembourg Airport
(termFormat EnglishLanguage FindelLuxembourgAirport "Findel Luxembourg Airport") WorldAirports.kif 44791-44791 "LUX" is an abbreviation of Findel Luxembourg 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