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

KB Term:  Term intersection
English Word: 

Sigma KEE - ShauliajAirport
ShauliajAirport(Shauliaj Airport)

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


(instance ShauliajAirport Airport) WorldAirports.kif 11758-11758 Shauliaj Airport is an instance of airport
(located ShauliajAirport Lithuania) WorldAirports.kif 11760-11760 Shauliaj Airport is located at lithuania

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


(abbreviation "HLJ" ShauliajAirport) WorldAirports.kif 11759-11759 "HLJ" is an abbreviation of Shauliaj Airport
(termFormat EnglishLanguage ShauliajAirport "Shauliaj Airport") WorldAirports.kif 39249-39249 "HLJ" is an abbreviation of Shauliaj 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