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


KB Term:  Term intersection
English Word: 

  HamiltonAirport

 Sigma KEE - HamiltonAirport
HamiltonAirport(Hamilton Airport)

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


(instance HamiltonAirport Airport) WorldAirports.kif 11814-11814 Hamilton Airport is an instance of airport
(located HamiltonAirport NewZealand) WorldAirports.kif 11816-11816 Hamilton Airport is located at new zealand

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


(abbreviation "HLZ" HamiltonAirport) WorldAirports.kif 11815-11815 "HLZ" is an abbreviation of Hamilton Airport
(termFormat EnglishLanguage HamiltonAirport "Hamilton Airport") WorldAirports.kif 39598-39598 "HLZ" is an abbreviation of Hamilton 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