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

KB Term:  Term intersection
English Word: 

Sigma KEE - ArsukAirport
ArsukAirport(Arsuk Airport)

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


(instance ArsukAirport Airport) WorldAirports.kif 14118-14118 Arsuk Airport is an instance of airport
(located ArsukAirport Greenland) WorldAirports.kif 14120-14120 Arsuk Airport is located at greenland

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


(abbreviation "JRK" ArsukAirport) WorldAirports.kif 14119-14119 "JRK" is an abbreviation of Arsuk Airport
(termFormat EnglishLanguage ArsukAirport "Arsuk Airport") WorldAirports.kif 43189-43189 "JRK" is an abbreviation of Arsuk 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