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


KB Term:  Term intersection
English Word: 

  AronaAirport

 Sigma KEE - AronaAirport
AronaAirport(Arona Airport)

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


(instance AronaAirport Airport) WorldAirports.kif 1190-1190 Arona Airport is an instance of airport
(located AronaAirport PapuaNewGuinea) WorldAirports.kif 1192-1192 Arona Airport is located at papua new guinea

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


(abbreviation "AON" AronaAirport) WorldAirports.kif 1191-1191 "AON" is an abbreviation of Arona Airport
(termFormat EnglishLanguage AronaAirport "Arona Airport") WorldAirports.kif 42379-42379 "AON" is an abbreviation of Arona 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