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

KB Term:  Term intersection
English Word: 

Sigma KEE - BorotouAirport
BorotouAirport(Borotou Airport)

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


(instance BorotouAirport Airport) WorldAirports.kif 3714-3714 Borotou Airport is an instance of airport
(located BorotouAirport Venezuela) WorldAirports.kif 3716-3716 Borotou Airport is located at venezuela

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


(abbreviation "BRZ" BorotouAirport) WorldAirports.kif 3715-3715 "BRZ" is an abbreviation of Borotou Airport
(termFormat EnglishLanguage BorotouAirport "Borotou Airport") WorldAirports.kif 37766-37766 "BRZ" is an abbreviation of Borotou 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