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

KB Term:  Term intersection
English Word: 

Sigma KEE - BillundAirport
BillundAirport(Billund Airport)

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


(instance BillundAirport Airport) WorldAirports.kif 3144-3144 Billund Airport is an instance of airport
(located BillundAirport Denmark) WorldAirports.kif 3146-3146 Billund Airport is located at denmark

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


(abbreviation "BLL" BillundAirport) WorldAirports.kif 3145-3145 "BLL" is an abbreviation of Billund Airport
(termFormat EnglishLanguage BillundAirport "Billund Airport") WorldAirports.kif 40530-40530 "BLL" is an abbreviation of Billund 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