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


KB Term:  Term intersection
English Word: 

  KajaaniAirport

 Sigma KEE - KajaaniAirport
KajaaniAirport(Kajaani Airport)

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


(instance KajaaniAirport Airport) WorldAirports.kif 14388-14388 Kajaani Airport is an instance of airport
(located KajaaniAirport Finland) WorldAirports.kif 14390-14390 Kajaani Airport is located at finland

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


(abbreviation "KAJ" KajaaniAirport) WorldAirports.kif 14389-14389 "KAJ" is an abbreviation of Kajaani Airport
(termFormat EnglishLanguage KajaaniAirport "Kajaani Airport") WorldAirports.kif 45441-45441 "KAJ" is an abbreviation of Kajaani Airport


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners