isSummitOf
P47299
predicate
Indicates that one entity is the highest point or peak (summit) of another entity, such as a mountain or structure.
All labels observed (17)
| Label | Occurrences |
|---|---|
| isSummitOf canonical | 27 |
| isMajorSummitOf | 13 |
| isPrincipalSummitOf | 10 |
| isHighestPeakOf | 4 |
| hasMainPeak | 3 |
| hasProminentSummit | 3 |
| dominantHill | 2 |
| isHighestMountainOn | 2 |
| isLoftiestSummitOf | 2 |
| isMainPeakOf | 2 |
| hasHighestSummit | 1 |
| hasHighestSummitOn | 1 |
| highestSummitOf | 1 |
| isDominantSummitOf | 1 |
| isSummitFeatureOf | 1 |
| locatedAtSummitOf | 1 |
| summitElevationFeature | 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: isSummitOf
Generated description
Indicates that one entity is the highest point or peak (summit) of another entity, such as a mountain or structure.
Sample triples (75)
| Subject | Object |
|---|---|
| Cima Sud | Monte Argentera massif via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Mount Jarvis | Wrangell Mountains via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| South Peak | Mount Nebo NERFINISHED ⓘ |
| Kun | Nun-Kun massif via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Golden Hinde | Vancouver Island via predicate surface "isHighestMountainOn" NERFINISHED ⓘ |
| West Peak | Mount Hua via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
|
Central Peak
surface form:
Central Peak (Mount Hua)
|
Mount Hua NERFINISHED ⓘ |
| Lauensteiner Kopf | Ith ridge NERFINISHED ⓘ |
| Rees Peak | San Francisco Mountain NERFINISHED ⓘ |
| Punta Giumenta | Resegone via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |
|
East Peak
surface form:
East Peak (Mount Hua)
|
Mount Hua via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Mount Karpinsky | Ural Mountains NERFINISHED ⓘ |
|
West Peak
surface form:
West Peak (Mount Barney)
|
Mount Barney NERFINISHED ⓘ |
| South Peak | Mount Hua via predicate surface "isHighestPeakOf" NERFINISHED ⓘ |
| Obispo | El Altar NERFINISHED ⓘ |
| Tablón | El Altar NERFINISHED ⓘ |
| Fraile Grande | El Altar volcanic massif via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |
| Monja Grande | El Altar NERFINISHED ⓘ |
| Smoky Dome | Smoky Mountains (Idaho) via predicate surface "isLoftiestSummitOf" NERFINISHED ⓘ |
|
Grand Ferrand peak
surface form:
Grand Ferrand
|
Dévoluy massif via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Pico Mayor | stratovolcano ⓘ |
| Choshuenco summit | Mocho-Choshuenco volcanic complex via predicate surface "isMainPeakOf" NERFINISHED ⓘ |
| Mocho summit | Mocho-Choshuenco volcanic complex via predicate surface "isMainPeakOf" NERFINISHED ⓘ |
|
La Tournette mountain
surface form:
La Tournette
|
Bornes Massif via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Skala | Mount Olympus NERFINISHED ⓘ |