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


KB Term:  Term intersection
English Word: 

  PineCayAirport

 Sigma KEE - PineCayAirport
PineCayAirport(Pine Cay Airport)

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


(instance PineCayAirport Airport) WorldAirports.kif 23753-23753 Pine Cay Airport is an instance of airport
(located PineCayAirport TurksAndCaicosIslands) WorldAirports.kif 23755-23755 Pine Cay Airport is located at turks and caicos islands

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


(abbreviation "PIC" PineCayAirport) WorldAirports.kif 23754-23754 "PIC" is an abbreviation of Pine Cay Airport
(termFormat EnglishLanguage PineCayAirport "Pine Cay Airport") WorldAirports.kif 44941-44941 "PIC" is an abbreviation of Pine Cay 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