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


KB Term:  Term intersection
English Word: 

Sigma KEE - CarupanoAirport
CarupanoAirport(Carupano Airport)

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


(instance CarupanoAirport Airport) WorldAirports.kif 6238-6238 Carupano Airport is an instance of airport
(located CarupanoAirport Venezuela) WorldAirports.kif 6240-6240 Carupano Airport is located at venezuela

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


(abbreviation "CUP" CarupanoAirport) WorldAirports.kif 6239-6239 "CUP" is an abbreviation of Carupano Airport
(termFormat EnglishLanguage CarupanoAirport "Carupano Airport") WorldAirports.kif 42912-42912 "CUP" is an abbreviation of Carupano 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners