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


KB Term:  Term intersection
English Word: 

  IringaAirport

 Sigma KEE - IringaAirport
IringaAirport(Iringa Airport)

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


(instance IringaAirport Airport) WorldAirports.kif 13121-13121 Iringa Airport is an instance of airport
(located IringaAirport Tanzania) WorldAirports.kif 13123-13123 Iringa Airport is located at tanzania

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


(abbreviation "IRI" IringaAirport) WorldAirports.kif 13122-13122 "IRI" is an abbreviation of Iringa Airport
(termFormat EnglishLanguage IringaAirport "Iringa Airport") WorldAirports.kif 38823-38823 "IRI" is an abbreviation of Iringa 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