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


KB Term:  Term intersection
English Word: 

  MakkahAirport

 Sigma KEE - MakkahAirport
MakkahAirport(Makkah Airport)

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


(instance MakkahAirport Airport) WorldAirports.kif 25165-25165 Makkah Airport is an instance of airport
(located MakkahAirport Morocco) WorldAirports.kif 25167-25167 Makkah Airport is located at morocco

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


(abbreviation "QCA" MakkahAirport) WorldAirports.kif 25166-25166 "QCA" is an abbreviation of Makkah Airport
(termFormat EnglishLanguage MakkahAirport "Makkah Airport") WorldAirports.kif 44545-44545 "QCA" is an abbreviation of Makkah 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