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


KB Term:  Term intersection
English Word: 

  SousseAirport

 Sigma KEE - SousseAirport
SousseAirport(Sousse Airport)

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


(instance SousseAirport Airport) WorldAirports.kif 25738-25738 Sousse Airport is an instance of airport
(located SousseAirport Tunisia) WorldAirports.kif 25740-25740 Sousse Airport is located at tunisia

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


(abbreviation "QSO" SousseAirport) WorldAirports.kif 25739-25739 "QSO" is an abbreviation of Sousse Airport
(termFormat EnglishLanguage SousseAirport "Sousse Airport") WorldAirports.kif 45908-45908 "QSO" is an abbreviation of Sousse 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