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

KB Term:  Term intersection
English Word: 

Sigma KEE - ElmasSardiniaAirport
ElmasSardiniaAirport(Elmas Sardinia Airport)

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


(instance ElmasSardiniaAirport Airport) WorldAirports.kif 4430-4430 Elmas Sardinia Airport is an instance of airport
(located ElmasSardiniaAirport Italy) WorldAirports.kif 4432-4432 Elmas Sardinia Airport is located at italy

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


(abbreviation "CAG" ElmasSardiniaAirport) WorldAirports.kif 4431-4431 "CAG" is an abbreviation of Elmas Sardinia Airport
(termFormat EnglishLanguage ElmasSardiniaAirport "Elmas Sardinia Airport") WorldAirports.kif 39218-39218 "CAG" is an abbreviation of Elmas Sardinia 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