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 |
|---|---|
| Atomism | atoms move in the void via predicate surface "hasCoreClaim" ⓘ |
| Atomism | qualitative differences in things arise from quantitative and configurational differences in atoms via predicate surface "hasCoreClaim" ⓘ |
| Atomism | change results from rearrangement of atoms via predicate surface "hasCoreClaim" ⓘ |
| Atomism | nothing comes from nothing and nothing is annihilated, only atoms rearrange via predicate surface "hasCoreClaim" ⓘ |
| Atomism | the void is necessary for motion via predicate surface "hasCoreClaim" ⓘ |
|
limits to growth
surface form:
Limits to Growth
|
exponential growth in a finite system cannot continue indefinitely ⓘ |
|
limits to growth
surface form:
Limits to Growth
|
continued exponential economic and population growth will overshoot planetary limits ⓘ |
|
limits to growth
surface form:
Limits to Growth
|
overshoot can lead to collapse of ecological and economic systems ⓘ |
| Oka coherence theorem | the sheaf of germs of holomorphic functions on a complex manifold is coherent via predicate surface "mainStatement" ⓘ |
|
Rosh HaNikra (Israeli border area)
surface form:
Rosh HaNikra
|
one of the steepest cable cars in the world via predicate surface "cableCarClaim" ⓘ |
| Gibbard–Satterthwaite theorem | every non-dictatorial, deterministic, onto social choice function with at least three alternatives is manipulable ⓘ |
| Underworld: The Mysterious Origins of Civilization | advanced prehistoric civilizations existed before the end of the last Ice Age ⓘ |
| Underworld: The Mysterious Origins of Civilization | many traces of early civilizations were submerged by post-glacial sea-level rise ⓘ |
| Underworld: The Mysterious Origins of Civilization | underwater archaeological sites preserve evidence of lost civilizations ⓘ |
| Torah from Heaven | the Torah is of divine origin via predicate surface "hasCoreClaim" NERFINISHED ⓘ |
| Torah from Heaven | the Torah is a product of divine revelation via predicate surface "hasCoreClaim" ⓘ |
| Rodrik trilemma | democracy, national sovereignty, and deep economic globalization cannot all be fully achieved simultaneously ⓘ |
| Erdős–Kac theorem | the number of distinct prime factors of a typical integer behaves like a normally distributed random variable via predicate surface "mainStatement" ⓘ |
| Coleman–Mandula theorem | under general assumptions the most general symmetry group of the S-matrix is a direct product of the Poincaré group and an internal symmetry group via predicate surface "mainStatement" ⓘ |
| Rice's theorem | Every non-trivial semantic property of the language recognized by a Turing machine is undecidable via predicate surface "mainStatement" ⓘ |
| Lipton–Tarjan separator theorem | every n-vertex planar graph has a vertex separator of size O(sqrt(n)) ⓘ |
| Lipton–Tarjan separator theorem | the removal of the separator partitions the planar graph into components each with at most a constant fraction of the vertices ⓘ |
| Bendixson–Dulac criterion | under certain conditions a planar system has no periodic orbits in a given region via predicate surface "mainStatement" ⓘ |
| Christian hedonism | God is most glorified in us when we are most satisfied in Him via predicate surface "hasCoreClaim" ⓘ |
| The Philosophy of the Plays of Shakspere Unfolded | Shakespeare’s plays were written by a group of intellectuals rather than William Shakespeare of Stratford ⓘ |
| Two-Nation Theory | Hindus and Muslims in the Indian subcontinent are two distinct nations via predicate surface "hasCoreClaim" ⓘ |
| Two-Nation Theory | religious identity is the primary basis of nationhood in the Indian subcontinent via predicate surface "hasCoreClaim" ⓘ |
| Two-Nation Theory | Muslims of the Indian subcontinent constitute a separate nation from Hindus via predicate surface "hasCoreClaim" ⓘ |
| Two-Nation Theory | Muslims require a separate state to safeguard their political and cultural interests via predicate surface "hasCoreClaim" ⓘ |
| moral sense school | humans possess an innate moral faculty or sentiment ⓘ |
| moral sense school | moral judgments are grounded in feeling rather than pure reason ⓘ |
| moral sense school | humans can perceive right and wrong through a special moral sense ⓘ |
| La Volonté de savoir | modern societies incite discourse on sex via predicate surface "claimsThat" ⓘ |
| La Volonté de savoir | power operates through the production of knowledge about sex via predicate surface "claimsThat" ⓘ |
| La Volonté de savoir | sexuality is an effect of discourse and power relations via predicate surface "claimsThat" ⓘ |
| Kochen–Specker theorem | Noncontextual hidden-variable theories are incompatible with quantum mechanics in Hilbert spaces of dimension three or greater ⓘ |
| scientific realism | well-confirmed scientific theories are approximately true via predicate surface "hasCoreClaim" ⓘ |
| scientific realism | scientific theories aim to give true descriptions of the world via predicate surface "hasCoreClaim" ⓘ |
| scientific realism | unobservable entities posited by successful theories exist via predicate surface "hasCoreClaim" ⓘ |
| scientific realism | the world exists independently of human minds via predicate surface "hasCoreClaim" ⓘ |
| scientific realism | mature scientific theories are at least approximately true about unobservables via predicate surface "hasCoreClaim" ⓘ |
| scientific realism | scientific progress is progress toward truth via predicate surface "hasCoreClaim" ⓘ |
|
essay "Does Moral Philosophy Rest on a Mistake?"
surface form:
Does Moral Philosophy Rest on a Mistake?
|
we know some moral obligations directly and intuitively rather than by inference ⓘ |
|
essay "Does Moral Philosophy Rest on a Mistake?"
surface form:
Does Moral Philosophy Rest on a Mistake?
|
moral philosophy errs when it tries to prove that we ought to do what we already recognize we ought to do ⓘ |
| Legendre’s conjecture on primes between consecutive squares | For every positive integer n there exists at least one prime p with n^2 < p < (n+1)^2 via predicate surface "mainStatement" ⓘ |
| The Reliability of Sense Perception | perceptual experience can confer justification on beliefs about the external world ⓘ |
| The Reliability of Sense Perception | sense perception is a generally reliable source of belief ⓘ |
| The Reliability of Sense Perception | we are prima facie justified in trusting our perceptual practices ⓘ |
| The Reliability of Sense Perception | skeptical challenges to perceptual justification can be answered ⓘ |
| Malthusianism | population growth tends to outpace food production via predicate surface "hasCoreClaim" ⓘ |