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


KB Term:  Term intersection
English Word: 

  AprilRiverAirport

 Sigma KEE - AprilRiverAirport
AprilRiverAirport(April River Airport)

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


(instance AprilRiverAirport Airport) WorldAirports.kif 1274-1274 April River Airport is an instance of airport
(located AprilRiverAirport PapuaNewGuinea) WorldAirports.kif 1276-1276 April River Airport is located at papua new guinea

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


(abbreviation "APR" AprilRiverAirport) WorldAirports.kif 1275-1275 "APR" is an abbreviation of April River Airport
(termFormat EnglishLanguage AprilRiverAirport "April River Airport") WorldAirports.kif 42076-42076 "APR" is an abbreviation of April River 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