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

KB Term:  Term intersection
English Word: 

Sigma KEE - CabimasAirport
CabimasAirport(Cabimas Airport)

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


(instance CabimasAirport Airport) WorldAirports.kif 4578-4578 Cabimas Airport is an instance of airport
(located CabimasAirport Venezuela) WorldAirports.kif 4580-4580 Cabimas Airport is located at venezuela

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


(abbreviation "CBS" CabimasAirport) WorldAirports.kif 4579-4579 "CBS" is an abbreviation of Cabimas Airport
(termFormat EnglishLanguage CabimasAirport "Cabimas Airport") WorldAirports.kif 38263-38263 "CBS" is an abbreviation of Cabimas 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