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

KB Term:  Term intersection
English Word: 

Sigma KEE - XingchengAirport
XingchengAirport(Xingcheng Airport)

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


(instance XingchengAirport Airport) WorldAirports.kif 34166-34166 Xingcheng Airport is an instance of airport
(located XingchengAirport China) WorldAirports.kif 34168-34168 Xingcheng Airport is located at china

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


(abbreviation "XEN" XingchengAirport) WorldAirports.kif 34167-34167 "XEN" is an abbreviation of Xingcheng Airport
(termFormat EnglishLanguage XingchengAirport "Xingcheng Airport") WorldAirports.kif 39465-39465 "XEN" is an abbreviation of Xingcheng Airport


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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners