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


KB Term:  Term intersection
English Word: 

  MalmiHelsinkiAirport

 Sigma KEE - MalmiHelsinkiAirport
MalmiHelsinkiAirport(Malmi Helsinki Airport)

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


(instance MalmiHelsinkiAirport Airport) WorldAirports.kif 11438-11438 Malmi Helsinki Airport is an instance of airport
(located MalmiHelsinkiAirport Finland) WorldAirports.kif 11440-11440 Malmi Helsinki Airport is located at finland

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


(abbreviation "HEM" MalmiHelsinkiAirport) WorldAirports.kif 11439-11439 "HEM" is an abbreviation of Malmi Helsinki Airport
(termFormat EnglishLanguage MalmiHelsinkiAirport "Malmi Helsinki Airport") WorldAirports.kif 42986-42986 "HEM" is an abbreviation of Malmi Helsinki 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