hasSummit
P8024
predicate
Indicates that one entity possesses, features, or includes a summit or highest point as part of its structure or characteristics.
All labels observed (15)
| Label | Occurrences |
|---|---|
| hasSummit canonical | 460 |
| summits | 25 |
| includesSummit | 21 |
| hasOnSummit | 12 |
| notableSummit | 12 |
| summit | 11 |
| hasSecondarySummit | 7 |
| hasSummitOver | 3 |
| summitsIncluded | 3 |
| hasLowerSummit | 1 |
| hasMainSummit | 1 |
| hasPopularSummit | 1 |
| hasSummitGroup | 1 |
| isEasternSummitOf | 1 |
| onSummit | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: hasSummit
Generated description
Indicates that one entity possesses, features, or includes a summit or highest point as part of its structure or characteristics.
Sample triples (560)
| Subject | Object |
|---|---|
| Rimpfischhorn | east summit ⓘ |
| Aiguille Blanche de Peuterey | Punta Nord ⓘ |
| Aiguille Blanche de Peuterey | Punta Centrale ⓘ |
| Aiguille Blanche de Peuterey |
Punta Centrale
ⓘ
surface form:
Punta Sud
|
| Emmons–Winthrop route | Mount Rainier via predicate surface "summits" ⓘ |
| Aiguille de Tré la Tête |
Aiguille de Tré la Tête
self-linksurface differs
ⓘ
surface form:
North summit of Aiguille de Tré la Tête
|
| Aiguille de Tré la Tête | Central summit of Aiguille de Tré la Tête ⓘ |
| Aiguille de Tré la Tête |
Aiguille de Tré la Tête
self-linksurface differs
ⓘ
surface form:
South summit of Aiguille de Tré la Tête
|
| Monte Argentera | Cima Sud ⓘ |
| Monte Argentera | Cima Nord ⓘ |
|
Hualālai volcano
surface form:
Hualālai
|
Hualālai summit region ⓘ |
| Illimani | Nevado Illimani ⓘ |
| Mount Magazine | Mossback Ridge via predicate surface "hasSecondarySummit" ⓘ |
| Lassen Peak Trail | Lassen Peak via predicate surface "summits" ⓘ |
| Trzy Korony | Okrąglica via predicate surface "summit" ⓘ |
| Trzy Korony | Płaska Skała via predicate surface "summit" ⓘ |
| Trzy Korony | Nad Ogródki via predicate surface "summit" ⓘ |
| Trzy Korony |
Płaska Skała
via predicate surface "summit"
ⓘ
surface form:
Pańska Skała
|
| Trzy Korony | Niżnia Okrąglica via predicate surface "summit" ⓘ |
| Tarso Toussidé |
Tarso Toussidé
self-linksurface differs
ⓘ
surface form:
Pic Toussidé
|
| Branscomb Glacier route | Vinson Massif via predicate surface "summits" ⓘ |
| El Yunque | El Yunque summit ⓘ |
| Har Tavor | Church of the Transfiguration via predicate surface "hasOnSummit" ⓘ |
| Har Tavor | Franciscan monastery via predicate surface "hasOnSummit" ⓘ |
| Har Tavor | Greek Orthodox monastery via predicate surface "hasOnSummit" ⓘ |
| Easton Glacier route |
Sherman Crater
via predicate surface "summits"
ⓘ
surface form:
Sherman Crater rim area
|
| Easton Glacier route | Mount Baker summit plateau via predicate surface "summits" ⓘ |
| North Ridge route | Mount Baker summit plateau via predicate surface "summits" ⓘ |
| Mount Corcovado | Christ the Redeemer via predicate surface "hasOnSummit" ⓘ |
| Howgill Fells | The Calf ⓘ |
| Choč Mountains | Veľký Choč ⓘ |
| Choč Mountains | Malý Choč ⓘ |
| Humphreys Peak Trail | highest point in Arizona via predicate surface "summits" ⓘ |
| Pumlumon |
Pumlumon
self-linksurface differs
ⓘ
surface form:
Pumlumon Fawr
|
| Mount Scott | Mount Scott summit ⓘ |
| Mount Watkins |
Mount Watkins
self-linksurface differs
ⓘ
surface form:
Mount Watkins summit
|
| Chartreuse Mountains | Chamechaude via predicate surface "notableSummit" ⓘ |
| Chartreuse Mountains | Dent de Crolles via predicate surface "notableSummit" ⓘ |
| Chartreuse Mountains | Grand Som via predicate surface "notableSummit" ⓘ |
| Schneeberg | Klosterwappen ⓘ |
| Schneeberg | Kaiserstein ⓘ |
| Resegone | Punta Cermenati ⓘ |
| Kongde Ri | Kongde Ri main summit ⓘ |
| Kongde Ri |
Kongde Ri
self-linksurface differs
ⓘ
surface form:
Kongde North
|
| Kongde Ri | Kongde South ⓘ |
| Kongde Ri |
Kongde Ri
self-linksurface differs
ⓘ
surface form:
Kongde Shar
|
| Mount Guntur | Mount Guntur summit ⓘ |
| Mount Blackburn | West summit via predicate surface "hasMainSummit" ⓘ |
| Mount Barney | East Peak ⓘ |
| Mount Barney | West Peak ⓘ |