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


KB Term:  Term intersection
English Word: 

  IvishakAKAirport

 Sigma KEE - IvishakAKAirport
IvishakAKAirport(Ivishak AK Airport)

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


(instance IvishakAKAirport Airport) WorldAirports.kif 13296-13296 Ivishak AK Airport is an instance of airport
(located IvishakAKAirport UnitedStates) WorldAirports.kif 13298-13298 Ivishak AK Airport is located at united states

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


(abbreviation "IVH" IvishakAKAirport) WorldAirports.kif 13297-13297 "IVH" is an abbreviation of Ivishak AK Airport
(termFormat EnglishLanguage IvishakAKAirport "Ivishak AK Airport") WorldAirports.kif 42375-42375 "IVH" is an abbreviation of Ivishak AK Airport


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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