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

KB Term:  Term intersection
English Word: 

Sigma KEE - LasLimasAirport
LasLimasAirport(Las Limas Airport)

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


(instance LasLimasAirport Airport) WorldAirports.kif 17067-17067 Las Limas Airport is an instance of airport
(located LasLimasAirport Honduras) WorldAirports.kif 17069-17069 Las Limas Airport is located at honduras

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


(abbreviation "LLH" LasLimasAirport) WorldAirports.kif 17068-17068 "LLH" is an abbreviation of Las Limas Airport
(termFormat EnglishLanguage LasLimasAirport "Las Limas Airport") WorldAirports.kif 37432-37432 "LLH" is an abbreviation of Las Limas 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