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

KB Term:  Term intersection
English Word: 

Sigma KEE - PlevenAirport
PlevenAirport(Pleven Airport)

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


(instance PlevenAirport Airport) WorldAirports.kif 24905-24905 Pleven Airport is an instance of airport
(located PlevenAirport Bulgaria) WorldAirports.kif 24907-24907 Pleven Airport is located at bulgaria

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


(abbreviation "PVN" PlevenAirport) WorldAirports.kif 24906-24906 "PVN" is an abbreviation of Pleven Airport
(termFormat EnglishLanguage PlevenAirport "Pleven Airport") WorldAirports.kif 40935-40935 "PVN" is an abbreviation of Pleven 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