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


KB Term:  Term intersection
English Word: 

  AtkambaAirport

 Sigma KEE - AtkambaAirport
AtkambaAirport(Atkamba Airport)

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


(instance AtkambaAirport Airport) WorldAirports.kif 155-155 Atkamba Airport is an instance of airport
(located AtkambaAirport PapuaNewGuinea) WorldAirports.kif 157-157 Atkamba Airport is located at papua new guinea

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


(abbreviation "ABP" AtkambaAirport) WorldAirports.kif 156-156 "ABP" is an abbreviation of Atkamba Airport
(termFormat EnglishLanguage AtkambaAirport "Atkamba Airport") WorldAirports.kif 41760-41760 "ABP" is an abbreviation of Atkamba 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