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

KB Term:  Term intersection
English Word: 

Sigma KEE - BirdIslandAirport
BirdIslandAirport(Bird Island Airport)

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


(instance BirdIslandAirport Airport) WorldAirports.kif 2345-2345 Bird Island Airport is an instance of airport
(located BirdIslandAirport Seychelles) WorldAirports.kif 2347-2347 Bird Island Airport is located at seychelles

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


(abbreviation "BDI" BirdIslandAirport) WorldAirports.kif 2346-2346 "BDI" is an abbreviation of Bird Island Airport
(termFormat EnglishLanguage BirdIslandAirport "Bird Island Airport") WorldAirports.kif 43523-43523 "BDI" is an abbreviation of Bird Island 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