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

KB Term:  Term intersection
English Word: 

Sigma KEE - KerioValleyAirport
KerioValleyAirport(Kerio Valley Airport)

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


(instance KerioValleyAirport Airport) WorldAirports.kif 15718-15718 Kerio Valley Airport is an instance of airport
(located KerioValleyAirport Kenya) WorldAirports.kif 15720-15720 Kerio Valley Airport is located at kenya

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


(abbreviation "KRV" KerioValleyAirport) WorldAirports.kif 15719-15719 "KRV" is an abbreviation of Kerio Valley Airport
(termFormat EnglishLanguage KerioValleyAirport "Kerio Valley Airport") WorldAirports.kif 41872-41872 "KRV" is an abbreviation of Kerio Valley 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