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


KB Term:  Term intersection
English Word: 

  SonderborgSoenderborgAirport

 Sigma KEE - SonderborgSoenderborgAirport
SonderborgSoenderborgAirport(Sonderborg Soenderborg Airport)

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


(instance SonderborgSoenderborgAirport Airport) WorldAirports.kif 27830-27830 Sonderborg Soenderborg Airport is an instance of airport
(located SonderborgSoenderborgAirport Denmark) WorldAirports.kif 27832-27832 Sonderborg Soenderborg Airport is located at denmark

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


(abbreviation "SGD" SonderborgSoenderborgAirport) WorldAirports.kif 27831-27831 "SGD" is an abbreviation of Sonderborg Soenderborg Airport
(termFormat EnglishLanguage SonderborgSoenderborgAirport "Sonderborg Soenderborg Airport") WorldAirports.kif 42936-42936 "SGD" is an abbreviation of Sonderborg Soenderborg 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