mainClaim
P4932
predicate
Indicates that one statement is presented as the central or primary assertion being made about a topic.
All labels observed (14)
| Label | Occurrences |
|---|---|
| mainClaim canonical | 93 |
| hasCoreClaim | 38 |
| claimsThat | 27 |
| hasMainClaim | 17 |
| mainStatement | 13 |
| expressesClaim | 5 |
| plaintiffClaim | 3 |
| thesisClaim | 3 |
| centralClaimOf | 2 |
| cableCarClaim | 1 |
| claim2 | 1 |
| coreClaimAbout | 1 |
| mainSongwriterClaim | 1 |
| plaintiffsClaim | 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: mainClaim
Generated description
Indicates that one statement is presented as the central or primary assertion being made about a topic.
Sample triples (206)
| Subject | Object |
|---|---|
| Koomey's law | computations per unit of energy double roughly every 1.5 years ⓘ |
| Koomey's law | energy efficiency of computing doubles at a regular exponential rate ⓘ |
| The Division of Labour in Society | repressive law predominates in societies with mechanical solidarity via predicate surface "claimsThat" ⓘ |
| The Division of Labour in Society | restitutive law predominates in societies with organic solidarity via predicate surface "claimsThat" ⓘ |
| cosmic censorship conjecture | singularities formed by gravitational collapse are hidden behind event horizons ⓘ |
| cosmic censorship conjecture | naked singularities cannot be observed by distant observers ⓘ |
|
cosmic censorship conjecture
surface form:
weak cosmic censorship conjecture
|
singularities from gravitational collapse are hidden from distant observers by event horizons ⓘ |
|
cosmic censorship conjecture
surface form:
strong cosmic censorship conjecture
|
for generic initial data the maximal Cauchy development is inextendible ⓘ |
| Ledbetter v. Goodyear Tire & Rubber Co. | pay discrimination based on sex via predicate surface "plaintiffClaim" ⓘ |
|
broken windows theory
surface form:
Broken windows theory
|
visible signs of disorder encourage more serious crime ⓘ |
|
broken windows theory
surface form:
Broken windows theory
|
tolerating minor offenses leads to escalation of antisocial behavior ⓘ |
| Everybody Hates Chris is based on Chris Rock’s teenage years |
Everybody Hates Chris
via predicate surface "claimsThat"
ⓘ
surface form:
Everybody Hates Chris is inspired by Chris Rock’s adolescence
|
| Everybody Hates Chris is based on Chris Rock’s teenage years |
Everybody Hates Chris is based on Chris Rock’s teenage years
via predicate surface "claimsThat"
self-linksurface differs
ⓘ
surface form:
Everybody Hates Chris comedically dramatizes Chris Rock’s youth
|
| Fregean semantics | the sense of an expression determines its reference via predicate surface "claimsThat" ⓘ |
| Fregean semantics | expressions with the same reference can have different senses via predicate surface "claimsThat" ⓘ |
| Fregean semantics | the sense of a sentence is a thought (Gedanke) via predicate surface "claimsThat" ⓘ |
| Fregean semantics | the reference of a sentence is its truth-value via predicate surface "claimsThat" ⓘ |
| neutron star hypothesis | supernova explosions leave behind extremely dense stellar remnants composed primarily of neutrons ⓘ |
| Dichotomy paradox | motion is impossible via predicate surface "hasMainClaim" ⓘ |
| Arrow paradox | a flying arrow is motionless at every instant of its flight via predicate surface "hasMainClaim" ⓘ |
| Arrow paradox | if time is composed of instants, motion is impossible via predicate surface "hasMainClaim" ⓘ |
| Green–Tao theorem | the sequence of prime numbers contains arbitrarily long arithmetic progressions via predicate surface "mainStatement" ⓘ |
| vitalism | living organisms are fundamentally different from non-living entities via predicate surface "hasCoreClaim" ⓘ |
| vitalism | a special life force or vital principle exists in living beings via predicate surface "hasCoreClaim" ⓘ |
| vitalism | life cannot be fully explained by physical and chemical processes alone via predicate surface "hasCoreClaim" ⓘ |
|
alumbrados de Castilla
surface form:
Alumbrados de Castilla
|
direct inner illumination from God ⓘ |
|
alumbrados de Castilla
surface form:
Alumbrados de Castilla
|
immediate experience of God without external mediation ⓘ |
| Non-Catastrophic Presupposition Failure | some presupposition failures do not render discourse meaningless or defective ⓘ |
| Conciliar movement | a general council of the Church holds authority over the pope in certain matters ⓘ |
| Erastianism | the state holds ultimate authority over the church in ecclesiastical matters via predicate surface "hasCoreClaim" ⓘ |
| Erastianism | civil authorities have final jurisdiction in church disputes via predicate surface "hasCoreClaim" ⓘ |
| Erastianism | the church is subject to the state in external governance via predicate surface "hasCoreClaim" ⓘ |
| On Non-Existence | nothing exists ⓘ |
| On Non-Existence | if anything did exist it would be unknowable ⓘ |
| On Non-Existence | if anything were knowable it could not be communicated ⓘ |
| On Nature | if anything exists, it cannot be known via predicate surface "claim2" ⓘ |
| Bell Telephone controversy | priority of invention of the telephone ⓘ |
| Bell Telephone controversy | validity of Alexander Graham Bell’s patents ⓘ |
| Bell Telephone controversy | alleged fraud or irregularities in patent filings ⓘ |
| Monoenergism | Christ has only one divine-human energy ⓘ |
| Riesz–Fischer theorem | establishes an isometric isomorphism between l^2 and L^2 spaces associated with orthonormal systems via predicate surface "mainStatement" ⓘ |
| Riesz–Fischer theorem | every square-summable sequence of coefficients defines an L^2 function via an orthonormal basis via predicate surface "mainStatement" ⓘ |
| Riesz–Fischer theorem | the L^2 norm of a function equals the l^2 norm of its coefficients with respect to an orthonormal basis via predicate surface "mainStatement" ⓘ |
| Smale’s paradox | a 2-sphere can be turned inside out in three-dimensional space by a smooth regular homotopy ⓘ |
| Smale’s paradox | a sphere eversion is possible without tearing or creating creases ⓘ |
| Semi-Pelagianism | the initial movement toward God in salvation can be made by human free will via predicate surface "hasCoreClaim" ⓘ |
| Semi-Pelagianism | divine grace assists and completes the process of salvation after the human initiative via predicate surface "hasCoreClaim" ⓘ |
| Atomism | all reality is composed of atoms and void via predicate surface "hasCoreClaim" ⓘ |
| Atomism | atoms are indivisible via predicate surface "hasCoreClaim" ⓘ |
| Atomism | atoms are imperishable via predicate surface "hasCoreClaim" ⓘ |