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

KB Term:  Term intersection
English Word: 

Sigma KEE - AppianLineAirport
AppianLineAirport(Appian Line Airport)

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


(instance AppianLineAirport Airport) WorldAirports.kif 1250-1250 Appian Line Airport is an instance of airport
(located AppianLineAirport Italy) WorldAirports.kif 1252-1252 Appian Line Airport is located at italy

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


(abbreviation "APJ" AppianLineAirport) WorldAirports.kif 1251-1251 "APJ" is an abbreviation of Appian Line Airport
(termFormat EnglishLanguage AppianLineAirport "Appian Line Airport") WorldAirports.kif 38571-38571 "APJ" is an abbreviation of Appian Line 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