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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - ZilinaAirport
ZilinaAirport(Zilina Airport)

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


(instance ZilinaAirport Airport) WorldAirports.kif 12853-12853 Zilina Airport is an instance of airport
(located ZilinaAirport Slovakia) WorldAirports.kif 12855-12855 Zilina Airport is located at slovakia

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


(abbreviation "ILZ" ZilinaAirport) WorldAirports.kif 12854-12854 "ILZ" is an abbreviation of Zilina Airport
(termFormat EnglishLanguage ZilinaAirport "Zilina Airport") WorldAirports.kif 37723-37723 "ILZ" is an abbreviation of Zilina 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