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


KB Term:  Term intersection
English Word: 

  StPierreAirport

 Sigma KEE - StPierreAirport
StPierreAirport(St Pierre Airport)

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


(instance StPierreAirport Airport) WorldAirports.kif 9550-9550 St Pierre Airport is an instance of airport
(located StPierreAirport SaintPierreAndMiquelon) WorldAirports.kif 9552-9552 St Pierre Airport is located at saint pierre and miquelon

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


(abbreviation "FSP" StPierreAirport) WorldAirports.kif 9551-9551 "FSP" is an abbreviation of St Pierre Airport
(termFormat EnglishLanguage StPierreAirport "St Pierre Airport") WorldAirports.kif 46023-46023 "FSP" is an abbreviation of St Pierre 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