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


KB Term:  Term intersection
English Word: 

  HolmavikAirport

 Sigma KEE - HolmavikAirport
HolmavikAirport(Holmavik Airport)

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


(instance HolmavikAirport Airport) WorldAirports.kif 12358-12358 Holmavik Airport is an instance of airport
(located HolmavikAirport Iceland) WorldAirports.kif 12360-12360 Holmavik Airport is located at iceland

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


(abbreviation "HVK" HolmavikAirport) WorldAirports.kif 12359-12359 "HVK" is an abbreviation of Holmavik Airport
(termFormat EnglishLanguage HolmavikAirport "Holmavik Airport") WorldAirports.kif 44134-44134 "HVK" is an abbreviation of Holmavik Airport


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners