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


KB Term:  Term intersection
English Word: 

  ArushaAirport

 Sigma KEE - ArushaAirport
ArushaAirport(Arusha Airport)

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


(instance ArushaAirport Airport) WorldAirports.kif 1378-1378 Arusha Airport is an instance of airport
(located ArushaAirport Tanzania) WorldAirports.kif 1380-1380 Arusha Airport is located at tanzania

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


(abbreviation "ARK" ArushaAirport) WorldAirports.kif 1379-1379 "ARK" is an abbreviation of Arusha Airport
(termFormat EnglishLanguage ArushaAirport "Arusha Airport") WorldAirports.kif 45378-45378 "ARK" is an abbreviation of Arusha 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