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

KB Term:  Term intersection
English Word: 

Sigma KEE - ThistedAirport
ThistedAirport(Thisted Airport)

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


(instance ThistedAirport Airport) WorldAirports.kif 30072-30072 Thisted Airport is an instance of airport
(located ThistedAirport Denmark) WorldAirports.kif 30074-30074 Thisted Airport is located at denmark

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


(abbreviation "TED" ThistedAirport) WorldAirports.kif 30073-30073 "TED" is an abbreviation of Thisted Airport
(termFormat EnglishLanguage ThistedAirport "Thisted Airport") WorldAirports.kif 38877-38877 "TED" is an abbreviation of Thisted 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