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


KB Term:  Term intersection
English Word: 

  PalmasdelMarAirport

 Sigma KEE - PalmasdelMarAirport
PalmasdelMarAirport(Palmasdel Mar Airport)

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


(instance PalmasdelMarAirport Airport) WorldAirports.kif 12046-12046 Palmasdel Mar Airport is an instance of airport
(located PalmasdelMarAirport PuertoRico) WorldAirports.kif 12048-12048 Palmasdel Mar Airport is located at puerto rico

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


(abbreviation "HPM" PalmasdelMarAirport) WorldAirports.kif 12047-12047 "HPM" is an abbreviation of Palmasdel Mar Airport
(termFormat EnglishLanguage PalmasdelMarAirport "Palmasdel Mar Airport") WorldAirports.kif 40410-40410 "HPM" is an abbreviation of Palmasdel Mar 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