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


KB Term:  Term intersection
English Word: 

  AkrotiriAirport

 Sigma KEE - AkrotiriAirport
AkrotiriAirport(Akrotiri Airport)

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


(instance AkrotiriAirport Airport) WorldAirports.kif 822-822 Akrotiri Airport is an instance of airport
(located AkrotiriAirport Cyprus) WorldAirports.kif 824-824 Akrotiri Airport is located at cyprus

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


(abbreviation "AKT" AkrotiriAirport) WorldAirports.kif 823-823 "AKT" is an abbreviation of Akrotiri Airport
(termFormat EnglishLanguage AkrotiriAirport "Akrotiri Airport") WorldAirports.kif 40588-40588 "AKT" is an abbreviation of Akrotiri 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