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


KB Term:  Term intersection
English Word: 

  NachingweaAirport

 Sigma KEE - NachingweaAirport
NachingweaAirport(Nachingwea Airport)

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


(instance NachingweaAirport Airport) WorldAirports.kif 20790-20790 Nachingwea Airport is an instance of airport
(located NachingweaAirport Tanzania) WorldAirports.kif 20792-20792 Nachingwea Airport is located at tanzania

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


(abbreviation "NCH" NachingweaAirport) WorldAirports.kif 20791-20791 "NCH" is an abbreviation of Nachingwea Airport
(termFormat EnglishLanguage NachingweaAirport "Nachingwea Airport") WorldAirports.kif 37604-37604 "NCH" is an abbreviation of Nachingwea 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