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


KB Term:  Term intersection
English Word: 

  Wrench

 Sigma KEE - ZanagaAirport
ZanagaAirport(Zanaga Airport)

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


(instance ZanagaAirport Airport) WorldAirports.kif 1086-1086 Zanaga Airport is an instance of airport
(located ZanagaAirport DemocraticRepublicOfTheCongo) WorldAirports.kif 1088-1088 Zanaga Airport is located at democratic republic of the congo

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


(abbreviation "ANJ" ZanagaAirport) WorldAirports.kif 1087-1087 "ANJ" is an abbreviation of Zanaga Airport
(termFormat EnglishLanguage ZanagaAirport "Zanaga Airport") WorldAirports.kif 42378-42378 "ANJ" is an abbreviation of Zanaga 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