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

KB Term:  Term intersection
English Word: 

Sigma KEE - BudvaAirport
BudvaAirport(Budva Airport)

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


(instance BudvaAirport Airport) WorldAirports.kif 25113-25113 Budva Airport is an instance of airport
(located BudvaAirport Yugoslavia) WorldAirports.kif 25115-25115 Budva Airport is located at yugoslavia

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


(abbreviation "QBA" BudvaAirport) WorldAirports.kif 25114-25114 "QBA" is an abbreviation of Budva Airport
(termFormat EnglishLanguage BudvaAirport "Budva Airport") WorldAirports.kif 45313-45313 "QBA" is an abbreviation of Budva 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