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

KB Term:  Term intersection
English Word: 

Sigma KEE - MariborAirport
MariborAirport(Maribor Airport)

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


(instance MariborAirport Airport) WorldAirports.kif 18231-18231 Maribor Airport is an instance of airport
(located MariborAirport Slovenia) WorldAirports.kif 18233-18233 Maribor Airport is located at slovenia

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


(abbreviation "MBX" MariborAirport) WorldAirports.kif 18232-18232 "MBX" is an abbreviation of Maribor Airport
(termFormat EnglishLanguage MariborAirport "Maribor Airport") WorldAirports.kif 45108-45108 "MBX" is an abbreviation of Maribor 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