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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - KilimanjaroAirport
KilimanjaroAirport(Kilimanjaro Airport)

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


(instance KilimanjaroAirport Airport) WorldAirports.kif 14126-14126 Kilimanjaro Airport is an instance of airport
(located KilimanjaroAirport Tanzania) WorldAirports.kif 14128-14128 Kilimanjaro Airport is located at tanzania

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


(abbreviation "JRO" KilimanjaroAirport) WorldAirports.kif 14127-14127 "JRO" is an abbreviation of Kilimanjaro Airport
(termFormat EnglishLanguage KilimanjaroAirport "Kilimanjaro Airport") WorldAirports.kif 37057-37057 "JRO" is an abbreviation of Kilimanjaro 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