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


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - ChanaralAirport
ChanaralAirport(Chanaral Airport)

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


(instance ChanaralAirport Airport) WorldAirports.kif 5638-5638 Chanaral Airport is an instance of airport
(located ChanaralAirport Chile) WorldAirports.kif 5640-5640 Chanaral Airport is located at chile

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


(abbreviation "CNR" ChanaralAirport) WorldAirports.kif 5639-5639 "CNR" is an abbreviation of Chanaral Airport
(termFormat EnglishLanguage ChanaralAirport "Chanaral Airport") WorldAirports.kif 45340-45340 "CNR" is an abbreviation of Chanaral 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