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

KB Term:  Term intersection
English Word: 

Sigma KEE - RoatanAirport
RoatanAirport(Roatan Airport)

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


(instance RoatanAirport Airport) WorldAirports.kif 26970-26970 Roatan Airport is an instance of airport
(located RoatanAirport Honduras) WorldAirports.kif 26972-26972 Roatan Airport is located at honduras

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


(abbreviation "RTB" RoatanAirport) WorldAirports.kif 26971-26971 "RTB" is an abbreviation of Roatan Airport
(termFormat EnglishLanguage RoatanAirport "Roatan Airport") WorldAirports.kif 44211-44211 "RTB" is an abbreviation of Roatan 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