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

KB Term:  Term intersection
English Word: 

Sigma KEE - KlaipedaAirport
KlaipedaAirport(Klaipeda Airport)

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


(instance KlaipedaAirport Airport) WorldAirports.kif 15201-15201 Klaipeda Airport is an instance of airport
(located KlaipedaAirport Lithuania) WorldAirports.kif 15203-15203 Klaipeda Airport is located at lithuania

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


(abbreviation "KLJ" KlaipedaAirport) WorldAirports.kif 15202-15202 "KLJ" is an abbreviation of Klaipeda Airport
(termFormat EnglishLanguage KlaipedaAirport "Klaipeda Airport") WorldAirports.kif 39554-39554 "KLJ" is an abbreviation of Klaipeda 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