firstDemonstrated
P1588
predicate
Indicates that one entity was the earliest to show, prove, or exemplify a particular concept, method, or capability in relation to another entity or context.
All labels observed (14)
| Label | Occurrences |
|---|---|
| firstDemonstrated canonical | 6 |
| firstDemonstratedIn | 4 |
| firstUseOf | 4 |
| firstDemonstratedBy | 3 |
| firstProofBy | 3 |
| wereFirstRealizedInSystem | 3 |
| firstPublicCollisionDemonstratedBy | 2 |
| firstDemonstratedInYear | 1 |
| firstDemonstratedWithElectronsBy | 1 |
| firstScience | 1 |
| firstScienceObservations | 1 |
| firstSystematicPresentation | 1 |
| firstWarpCapability | 1 |
| wasFirstDemonstratedAt | 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: firstDemonstrated
Generated description
Indicates that one entity was the earliest to show, prove, or exemplify a particular concept, method, or capability in relation to another entity or context.
Sample triples (32)
| Subject | Object |
|---|---|
| World Wide Web | 1990 ⓘ |
| atomic bombing of Hiroshima | nuclear weapon in war via predicate surface "firstUseOf" ⓘ |
|
WorldWideWeb (web browser)
surface form:
WorldWideWeb
|
1990 ⓘ |
| Edison cylinder phonograph | Thomas Alva Edison via predicate surface "firstDemonstratedBy" ⓘ |
| Battle of the Somme | tanks by the British Army via predicate surface "firstUseOf" ⓘ |
| Two New Sciences | strength of materials via predicate surface "firstScience" ⓘ |
| Atacama Large Millimeter/submillimeter Array | 2011 via predicate surface "firstScienceObservations" ⓘ |
| Apollo 15 | Lunar Roving Vehicle via predicate surface "firstUseOf" ⓘ |
| Yablo's paradox |
Yablo's paradox
via predicate surface "firstSystematicPresentation"
self-linksurface differs
ⓘ
surface form:
Stephen Yablo's 1993 paper "Paradox without Self-Reference"
|
| Hertzian waves | 1887 via predicate surface "firstDemonstratedIn" ⓘ |
| Hertzian waves | Karlsruhe via predicate surface "firstDemonstratedIn" ⓘ |
| Fermat's theorem on sums of two squares | Leonhard Euler via predicate surface "firstProofBy" ⓘ |
| time crystals | trapped ions via predicate surface "wereFirstRealizedInSystem" ⓘ |
| time crystals | nitrogen-vacancy centers in diamond via predicate surface "wereFirstRealizedInSystem" ⓘ |
| time crystals | spin impurities in solid-state systems via predicate surface "wereFirstRealizedInSystem" ⓘ |
|
the Logic Theorist program
surface form:
Logic Theorist
|
1956 ⓘ |
| prime number theorem | Jacques Hadamard via predicate surface "firstProofBy" ⓘ |
| prime number theorem | Charles-Jean de la Vallée Poussin via predicate surface "firstProofBy" ⓘ |
| double-slit experiment | Claus Jönsson via predicate surface "firstDemonstratedWithElectronsBy" ⓘ |
| CRISPR-Cas9 gene-editing technology | 2012 via predicate surface "firstDemonstratedIn" ⓘ |
| SHA-1 | Google via predicate surface "firstPublicCollisionDemonstratedBy" NERFINISHED ⓘ |
| SHA-1 | CWI Amsterdam via predicate surface "firstPublicCollisionDemonstratedBy" NERFINISHED ⓘ |
| Pavlovian conditioning | experiments with dogs via predicate surface "firstDemonstratedIn" ⓘ |
|
USS Franklin (abandoned starship)
surface form:
USS Franklin
|
early warp-capable Starfleet ship via predicate surface "firstWarpCapability" ⓘ |
| Compatible Time-Sharing System | 1961 ⓘ |
| CTSS | 1961 ⓘ |
|
CTSS time-sharing system
surface form:
CTSS
|
1961 ⓘ |
| quantum cascade laser | 1994 via predicate surface "firstDemonstratedInYear" ⓘ |
| Foucault pendulum | Léon Foucault via predicate surface "firstDemonstratedBy" NERFINISHED ⓘ |
| Slinky | Gimbels department store, Philadelphia via predicate surface "wasFirstDemonstratedAt" NERFINISHED ⓘ |
| Apollo 15 landing site | Lunar Roving Vehicle via predicate surface "firstUseOf" NERFINISHED ⓘ |
|
Levitation Charm (Wingardium Leviosa)
surface form:
Levitation Charm
|
Filius Flitwick via predicate surface "firstDemonstratedBy" NERFINISHED ⓘ |