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

KB Term:  Term intersection
English Word: 

Sigma KEE - CanaimaAirport
CanaimaAirport(Canaima Airport)

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


(instance CanaimaAirport Airport) WorldAirports.kif 4442-4442 Canaima Airport is an instance of airport
(located CanaimaAirport Venezuela) WorldAirports.kif 4444-4444 Canaima Airport is located at venezuela

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


(abbreviation "CAJ" CanaimaAirport) WorldAirports.kif 4443-4443 "CAJ" is an abbreviation of Canaima Airport
(termFormat EnglishLanguage CanaimaAirport "Canaima Airport") WorldAirports.kif 39300-39300 "CAJ" is an abbreviation of Canaima 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