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

KB Term:  Term intersection
English Word: 

Sigma KEE - CoyolesAirport
CoyolesAirport(Coyoles Airport)

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


(instance CoyolesAirport Airport) WorldAirports.kif 6494-6494 Coyoles Airport is an instance of airport
(located CoyolesAirport Honduras) WorldAirports.kif 6496-6496 Coyoles Airport is located at honduras

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


(abbreviation "CYL" CoyolesAirport) WorldAirports.kif 6495-6495 "CYL" is an abbreviation of Coyoles Airport
(termFormat EnglishLanguage CoyolesAirport "Coyoles Airport") WorldAirports.kif 45484-45484 "CYL" is an abbreviation of Coyoles 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