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 |
|---|---|
| Mount Oxley (Liverpool Range) | Liverpool Range ⓘ |
| Yíhéyuán | Longevity Hill via predicate surface "dominantHill" ⓘ |
| Kurohime-yama |
Mount Akagi
ⓘ
surface form:
Mount Akagi massif
|
| Schreckhorn |
Bernese Alps
via predicate surface "isHighestPeakOf"
ⓘ
surface form:
eastern Bernese Alps
|
| Skolio | Mount Olympus via predicate surface "isPrincipalSummitOf" ⓘ |
| Hoye Crest trail | Hoye Crest via predicate surface "summitElevationFeature" ⓘ |
| Ahuna Mons | Ceres via predicate surface "isHighestMountainOn" ⓘ |
| East Peak of Mount Tamalpais |
Mount Tamalpais summit
via predicate surface "highestSummitOf"
ⓘ
surface form:
Mount Tamalpais
|
| Mount Marcus Baker | Chugach Mountains via predicate surface "isMajorSummitOf" ⓘ |
| Mount Epomeo | Ischia via predicate surface "isDominantSummitOf" ⓘ |
| Pen Pumlumon Fawr | Plynlimon ⓘ |
| Cerro de la Laguna | Sierra de la Laguna ⓘ |
| Pico la Virgen | Cerro de la Silla ⓘ |
| Pico Sur | Cerro de la Silla via predicate surface "isPrincipalSummitOf" ⓘ |
| Hinterrugg | Churfirsten via predicate surface "isHighestPeakOf" ⓘ |
| Paretetaitonga | Mount Ruapehu via predicate surface "isPrincipalSummitOf" ⓘ |
| Macgillycuddy's Reeks | Carrauntoohil via predicate surface "hasProminentSummit" ⓘ |
| Macgillycuddy's Reeks | Beenkeragh via predicate surface "hasProminentSummit" ⓘ |
| Macgillycuddy's Reeks | Caher via predicate surface "hasProminentSummit" ⓘ |
| Pamporovo | Snezhanka Peak via predicate surface "hasMainPeak" ⓘ |
| Maximiliano | Carihuairazo via predicate surface "isPrincipalSummitOf" ⓘ |
| Pachatata hill | Amantaní Island NERFINISHED ⓘ |
| La Panza | Iztaccíhuatl ⓘ |
| Pointe Sella | Dent du Géant ⓘ |
|
Greek Orthodox chapel
surface form:
Greek Orthodox chapel on Jebel Musa
|
Jebel Musa via predicate surface "locatedAtSummitOf" ⓘ |
| Mokuʻāweoweo | Mauna Loa via predicate surface "isSummitFeatureOf" ⓘ |
| Mount Tomuraushi |
Daisetsuzan
via predicate surface "isMajorSummitOf"
ⓘ
surface form:
Daisetsuzan mountain range
|
| West Spanish Peak | Spanish Peaks Wilderness high point ⓘ |
| Summer Palace architectural complex | Longevity Hill via predicate surface "dominantHill" ⓘ |
| Wiesbachhorn | Glockner Group via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Mount Anacuao | Sierra Madre via predicate surface "isLoftiestSummitOf" NERFINISHED ⓘ |
|
East Peak
surface form:
East Peak (Qixing Mountain)
|
Qixing Mountain via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |
| Großer Bettelwurf | Karwendel via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Toma-no-mimi | Tanigawa-dake main ridge NERFINISHED ⓘ |
| Wildstrubel | Wildstrubel (central summit) via predicate surface "hasHighestSummit" NERFINISHED ⓘ |
| Vintana Peak | Mount Mariveles via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |
| Mount Friesland | Tangra Mountains NERFINISHED ⓘ |
| Ben Venue | western top via predicate surface "hasHighestSummitOn" ⓘ |
| Gorakhnath Peak | Girnar massif via predicate surface "isMajorSummitOf" NERFINISHED ⓘ |
| Hualālai summit | Hualālai NERFINISHED ⓘ |
| Flega | Mount Smolikas NERFINISHED ⓘ |
| Rheinwaldhorn | Rhine watershed via predicate surface "isMajorSummitOf" ⓘ |
| Kopsenni | Streymoy via predicate surface "isHighestPeakOf" NERFINISHED ⓘ |
| Nine Standards Rigg | ridge between Mallerstang and Upper Eden valley ⓘ |
| Pointe Whymper | Grandes Jorasses via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |
| Punta Centrale | Aiguille Blanche de Peuterey NERFINISHED ⓘ |
| Koryaksky–Avachinsky volcanic group | Koryaksky volcano via predicate surface "hasMainPeak" NERFINISHED ⓘ |
| Koryaksky–Avachinsky volcanic group | Avachinsky volcano via predicate surface "hasMainPeak" NERFINISHED ⓘ |
| Earl’s Seat | Campsie Fells NERFINISHED ⓘ |
| Cima Sud | Monte Argentera via predicate surface "isPrincipalSummitOf" NERFINISHED ⓘ |