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

KB Term:  Term intersection
English Word: 

Sigma KEE - CumanaAirport
CumanaAirport(Cumana Airport)

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


(instance CumanaAirport Airport) WorldAirports.kif 6226-6226 Cumana Airport is an instance of airport
(located CumanaAirport Venezuela) WorldAirports.kif 6228-6228 Cumana Airport is located at venezuela

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


(abbreviation "CUM" CumanaAirport) WorldAirports.kif 6227-6227 "CUM" is an abbreviation of Cumana Airport
(termFormat EnglishLanguage CumanaAirport "Cumana Airport") WorldAirports.kif 45177-45177 "CUM" is an abbreviation of Cumana 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