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


KB Term:  Term intersection
English Word: 

  QuanducAirport

 Sigma KEE - QuanducAirport
QuanducAirport(Quanduc Airport)

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


(instance QuanducAirport Airport) WorldAirports.kif 11990-11990 Quanduc Airport is an instance of airport
(located QuanducAirport Vietnam) WorldAirports.kif 11992-11992 Quanduc Airport is located at vietnam

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


(abbreviation "HOO" QuanducAirport) WorldAirports.kif 11991-11991 "HOO" is an abbreviation of Quanduc Airport
(termFormat EnglishLanguage QuanducAirport "Quanduc Airport") WorldAirports.kif 42341-42341 "HOO" is an abbreviation of Quanduc 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