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

KB Term:  Term intersection
English Word: 

Sigma KEE - CatacamasAirport
CatacamasAirport(Catacamas Airport)

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


(instance CatacamasAirport Airport) WorldAirports.kif 4406-4406 Catacamas Airport is an instance of airport
(located CatacamasAirport Honduras) WorldAirports.kif 4408-4408 Catacamas Airport is located at honduras

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


(abbreviation "CAA" CatacamasAirport) WorldAirports.kif 4407-4407 "CAA" is an abbreviation of Catacamas Airport
(termFormat EnglishLanguage CatacamasAirport "Catacamas Airport") WorldAirports.kif 40366-40366 "CAA" is an abbreviation of Catacamas 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