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

KB Term:  Term intersection
English Word: 

Sigma KEE - BreidhdalurBreiddalsvikAirport
BreidhdalurBreiddalsvikAirport(Breidhdalur Breiddalsvik Airport)

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


(instance BreidhdalurBreiddalsvikAirport Airport) WorldAirports.kif 4258-4258 Breidhdalur Breiddalsvik Airport is an instance of airport
(located BreidhdalurBreiddalsvikAirport Iceland) WorldAirports.kif 4260-4260 Breidhdalur Breiddalsvik Airport is located at iceland

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


(abbreviation "BXV" BreidhdalurBreiddalsvikAirport) WorldAirports.kif 4259-4259 "BXV" is an abbreviation of Breidhdalur Breiddalsvik Airport
(termFormat EnglishLanguage BreidhdalurBreiddalsvikAirport "Breidhdalur Breiddalsvik Airport") WorldAirports.kif 39160-39160 "BXV" is an abbreviation of Breidhdalur Breiddalsvik 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