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

KB Term:  Term intersection
English Word: 

Sigma KEE - SpetsaiIslandAirport
SpetsaiIslandAirport(Spetsai Island Airport)

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


(instance SpetsaiIslandAirport Airport) WorldAirports.kif 14186-14186 Spetsai Island Airport is an instance of airport
(located SpetsaiIslandAirport Greenland) WorldAirports.kif 14188-14188 Spetsai Island Airport is located at greenland

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


(abbreviation "JSS" SpetsaiIslandAirport) WorldAirports.kif 14187-14187 "JSS" is an abbreviation of Spetsai Island Airport
(termFormat EnglishLanguage SpetsaiIslandAirport "Spetsai Island Airport") WorldAirports.kif 37190-37190 "JSS" is an abbreviation of Spetsai Island Airport


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners