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

KB Term:  Term intersection
English Word: 

Sigma KEE - AvianoAirBaseAvianoAirport
AvianoAirBaseAvianoAirport(Aviano Air Base Aviano Airport)

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


(instance AvianoAirBaseAvianoAirport Airport) WorldAirports.kif 1734-1734 Aviano Air Base Aviano Airport is an instance of airport
(located AvianoAirBaseAvianoAirport Italy) WorldAirports.kif 1736-1736 Aviano Air Base Aviano Airport is located at italy

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


(abbreviation "AVB" AvianoAirBaseAvianoAirport) WorldAirports.kif 1735-1735 "AVB" is an abbreviation of Aviano Air Base Aviano Airport
(termFormat EnglishLanguage AvianoAirBaseAvianoAirport "Aviano Air Base Aviano Airport") WorldAirports.kif 43917-43917 "AVB" is an abbreviation of Aviano Air Base Aviano 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