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


KB Term:  Term intersection
English Word: 

  YagouaAirport

 Sigma KEE - YagouaAirport
YagouaAirport(Yagoua Airport)

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


(instance YagouaAirport Airport) WorldAirports.kif 11110-11110 Yagoua Airport is an instance of airport
(located YagouaAirport Cameroon) WorldAirports.kif 11112-11112 Yagoua Airport is located at cameroon

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


(abbreviation "GXX" YagouaAirport) WorldAirports.kif 11111-11111 "GXX" is an abbreviation of Yagoua Airport
(termFormat EnglishLanguage YagouaAirport "Yagoua Airport") WorldAirports.kif 43482-43482 "GXX" is an abbreviation of Yagoua 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