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


KB Term:  Term intersection
English Word: 

  BoukhalefTangerTangierAirport

 Sigma KEE - BoukhalefTangerTangierAirport
BoukhalefTangerTangierAirport(Boukhalef Tanger Tangier Airport)

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


(instance BoukhalefTangerTangierAirport Airport) WorldAirports.kif 30786-30786 Boukhalef Tanger Tangier Airport is an instance of airport
(located BoukhalefTangerTangierAirport Morocco) WorldAirports.kif 30788-30788 Boukhalef Tanger Tangier Airport is located at morocco

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


(abbreviation "TNG" BoukhalefTangerTangierAirport) WorldAirports.kif 30787-30787 "TNG" is an abbreviation of Boukhalef Tanger Tangier Airport
(termFormat EnglishLanguage BoukhalefTangerTangierAirport "Boukhalef Tanger Tangier Airport") WorldAirports.kif 42282-42282 "TNG" is an abbreviation of Boukhalef Tanger Tangier 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