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

KB Term:  Term intersection
English Word: 

Sigma KEE - VidinAirport
VidinAirport(Vidin Airport)

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


(instance VidinAirport Airport) WorldAirports.kif 32618-32618 Vidin Airport is an instance of airport
(located VidinAirport Bulgaria) WorldAirports.kif 32620-32620 Vidin Airport is located at bulgaria

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


(abbreviation "VID" VidinAirport) WorldAirports.kif 32619-32619 "VID" is an abbreviation of Vidin Airport
(termFormat EnglishLanguage VidinAirport "Vidin Airport") WorldAirports.kif 42304-42304 "VID" is an abbreviation of Vidin 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