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

KB Term:  Term intersection
English Word: 

Sigma KEE - HaskovoAirport
HaskovoAirport(Haskovo Airport)

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


(instance HaskovoAirport Airport) WorldAirports.kif 11714-11714 Haskovo Airport is an instance of airport
(located HaskovoAirport Bulgaria) WorldAirports.kif 11716-11716 Haskovo Airport is located at bulgaria

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


(abbreviation "HKV" HaskovoAirport) WorldAirports.kif 11715-11715 "HKV" is an abbreviation of Haskovo Airport
(termFormat EnglishLanguage HaskovoAirport "Haskovo Airport") WorldAirports.kif 38545-38545 "HKV" is an abbreviation of Haskovo 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