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

KB Term:  Term intersection
English Word: 

Sigma KEE - GualacoAirport
GualacoAirport(Gualaco Airport)

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


(instance GualacoAirport Airport) WorldAirports.kif 10966-10966 Gualaco Airport is an instance of airport
(located GualacoAirport Honduras) WorldAirports.kif 10968-10968 Gualaco Airport is located at honduras

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


(abbreviation "GUO" GualacoAirport) WorldAirports.kif 10967-10967 "GUO" is an abbreviation of Gualaco Airport
(termFormat EnglishLanguage GualacoAirport "Gualaco Airport") WorldAirports.kif 44235-44235 "GUO" is an abbreviation of Gualaco 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