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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - IsafjordurAirport
IsafjordurAirport(Isafjordur Airport)

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


(instance IsafjordurAirport Airport) WorldAirports.kif 12641-12641 Isafjordur Airport is an instance of airport
(located IsafjordurAirport Iceland) WorldAirports.kif 12643-12643 Isafjordur Airport is located at iceland

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


(abbreviation "IFJ" IsafjordurAirport) WorldAirports.kif 12642-12642 "IFJ" is an abbreviation of Isafjordur Airport
(termFormat EnglishLanguage IsafjordurAirport "Isafjordur Airport") WorldAirports.kif 42284-42284 "IFJ" is an abbreviation of Isafjordur 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