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

KB Term:  Term intersection
English Word: 

Sigma KEE - ApeldoornAirport
ApeldoornAirport(Apeldoorn Airport)

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


(instance ApeldoornAirport Airport) WorldAirports.kif 25890-25890 Apeldoorn Airport is an instance of airport
(located ApeldoornAirport Netherlands) WorldAirports.kif 25892-25892 Apeldoorn Airport is located at netherlands

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


(abbreviation "QYP" ApeldoornAirport) WorldAirports.kif 25891-25891 "QYP" is an abbreviation of Apeldoorn Airport
(termFormat EnglishLanguage ApeldoornAirport "Apeldoorn Airport") WorldAirports.kif 45078-45078 "QYP" is an abbreviation of Apeldoorn 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