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

KB Term:  Term intersection
English Word: 

Sigma KEE - LimonAirport
LimonAirport(Limon Airport)

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


(instance LimonAirport Airport) WorldAirports.kif 16919-16919 Limon Airport is an instance of airport
(located LimonAirport CostaRica) WorldAirports.kif 16921-16921 Limon Airport is located at costa rica
(located LimonAirport Honduras) WorldAirports.kif 17140-17140 Limon Airport is located at honduras

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


(abbreviation "LIO" LimonAirport) WorldAirports.kif 16920-16920 "LIO" is an abbreviation of Limon Airport
(abbreviation "LMH" LimonAirport) WorldAirports.kif 17139-17139 "LMH" is an abbreviation of Limon Airport
(termFormat EnglishLanguage LimonAirport "Limon Airport") WorldAirports.kif 41247-41247 "LMH" is an abbreviation of Limon 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