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


KB Term:  Term intersection
English Word: 

Sigma KEE - PaleseMacchieBariAirport
PaleseMacchieBariAirport(Palese Macchie Bari Airport)

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


(instance PaleseMacchieBariAirport Airport) WorldAirports.kif 3646-3646 Palese Macchie Bari Airport is an instance of airport
(located PaleseMacchieBariAirport Italy) WorldAirports.kif 3648-3648 Palese Macchie Bari Airport is located at italy

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


(abbreviation "BRI" PaleseMacchieBariAirport) WorldAirports.kif 3647-3647 "BRI" is an abbreviation of Palese Macchie Bari Airport
(termFormat EnglishLanguage PaleseMacchieBariAirport "Palese Macchie Bari Airport") WorldAirports.kif 46200-46200 "BRI" is an abbreviation of Palese Macchie Bari 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners