coreIdea
P533
predicate
Indicates the central concept or primary message that underlies or unifies something, such as a text, argument, or work.
All labels observed (52)
| Label | Occurrences |
|---|---|
| centralTheme | 9,352 |
| hasKeyConcept | 4,787 |
| centralConcept | 2,864 |
| coreConcept | 2,689 |
| coreIdea canonical | 1,472 |
| corePrinciple | 1,450 |
| coreBelief | 1,061 |
| coreValue | 986 |
| principle | 885 |
| centralClaim | 559 |
| hasCoreConcept | 455 |
| mainConcept | 406 |
| coreClaim | 292 |
| hasCoreIdea | 248 |
| hasCorePrinciple | 229 |
| hasCoreBelief | 211 |
| keyIdea | 198 |
| hasNotableIdea | 177 |
| centralThesis | 159 |
| valueProposition | 157 |
| centralIdea | 93 |
| centralBelief | 72 |
| mainThesis | 70 |
| centralArgument | 61 |
| centralConceptIn | 48 |
| mainIdea | 36 |
| coreConceptOf | 32 |
| hasMainIdea | 23 |
| coreComponentOf | 20 |
| coreMechanism | 18 |
| centralConceptOf | 14 |
| hasCentralIdea | 13 |
| coreBeliefOf | 9 |
| ideologicalFraming | 6 |
| supportsIdea | 5 |
| underlyingTheory | 5 |
| coreAbstraction | 4 |
| 理念 | 4 |
| basicIdea | 3 |
| movementCoreIdea | 2 |
| originalGaugeIdea | 2 |
| ключеваяИдеяМонолога | 2 |
| 主要思想 | 2 |
| capturesIdeaOf | 1 |
| centralCovenantConcept | 1 |
| centralTheory | 1 |
| conclusionIdea | 1 |
| coreIdeaOf | 1 |
| coreInsight | 1 |
| coreToMessage | 1 |
| definitionIdea | 1 |
| describedIdeaOf | 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: coreIdea
Generated description
Indicates the central concept or primary message that underlies or unifies something, such as a text, argument, or work.
Sample triples (29,190)
| Subject | Object |
|---|---|
| The Code of Capital: How the Law Creates Wealth and Inequality | private law is a key infrastructure of capitalism via predicate surface "centralThesis" ⓘ |
| No Silver Bullet: Essence and Accidents of Software Engineering | There is no single development in technology or management that will produce an order-of-magnitude improvement in software productivity, reliability, or simplicity within a decade. via predicate surface "centralClaim" ⓘ |
| Ad-Dukhan | divine decree via predicate surface "hasKeyConcept" ⓘ |
| Ad-Dukhan | signs for reflection via predicate surface "hasKeyConcept" ⓘ |
| Ad-Dukhan | historical examples of destroyed nations via predicate surface "hasKeyConcept" ⓘ |
| Conservative Congregational Christian Conference | Biblical fidelity via predicate surface "coreValue" ⓘ |
| Conservative Congregational Christian Conference | Local church freedom via predicate surface "coreValue" ⓘ |
| Conservative Congregational Christian Conference | Evangelism and missions via predicate surface "coreValue" ⓘ |
| Hindley–Milner type system | unification-based type inference via predicate surface "coreConcept" ⓘ |
| Hindley–Milner type system | most general unifier via predicate surface "coreConcept" ⓘ |
| Hindley–Milner type system | generalization at let-bindings via predicate surface "coreConcept" ⓘ |
| Hindley–Milner type system | monomorphic type variables in local bindings without let via predicate surface "coreConcept" ⓘ |
| LCF theorem prover | small trusted kernel via predicate surface "hasKeyConcept" ⓘ |
| LCF theorem prover | user-level proof tactics via predicate surface "hasKeyConcept" ⓘ |
| LCF theorem prover | abstract data types for theorems via predicate surface "hasKeyConcept" ⓘ |
| π-calculus | process via predicate surface "coreConcept" ⓘ |
| π-calculus | channel (name) via predicate surface "coreConcept" ⓘ |
| π-calculus | input prefix via predicate surface "coreConcept" ⓘ |
| π-calculus | output prefix via predicate surface "coreConcept" ⓘ |
| π-calculus | parallel composition via predicate surface "coreConcept" ⓘ |
| π-calculus | restriction (new name creation) via predicate surface "coreConcept" ⓘ |
| π-calculus | replication or recursion via predicate surface "coreConcept" ⓘ |
| π-calculus | summation (choice) via predicate surface "coreConcept" ⓘ |
| The Coming of Lilith | Jewish feminism via predicate surface "centralTheme" ⓘ |
| The Coming of Lilith | feminist theology via predicate surface "centralTheme" ⓘ |
| The Coming of Lilith | women’s spiritual agency via predicate surface "centralTheme" ⓘ |
| The Coming of Lilith | critique of patriarchy via predicate surface "centralTheme" ⓘ |
| The Coming of Lilith | reimagining myth via predicate surface "centralTheme" ⓘ |
| The Coming of Lilith | women’s religious experience via predicate surface "centralTheme" ⓘ |
| North Korean military policy | priority to armed forces in politics via predicate surface "corePrinciple" ⓘ |
| North Korean military policy | priority to armed forces in resource allocation via predicate surface "corePrinciple" ⓘ |
| North Korean military policy | centrality of military to national identity via predicate surface "corePrinciple" ⓘ |
| North Korean military policy | regime survival through military strength via predicate surface "corePrinciple" ⓘ |
| Labour Union (Poland) | solidarity via predicate surface "coreValue" ⓘ |
| Labour Union (Poland) | equality via predicate surface "coreValue" ⓘ |
| Labour Union (Poland) | social protection via predicate surface "coreValue" ⓘ |
| Simla Agreement | bilateralism in dispute resolution via predicate surface "principle" ⓘ |
| Simla Agreement | peaceful settlement of disputes via predicate surface "principle" ⓘ |
| Simla Agreement | respect for the UN Charter via predicate surface "principle" ⓘ |
| Italian anarchist movement | stateless socialism via predicate surface "corePrinciple" ⓘ |
| Italian anarchist movement | direct action via predicate surface "corePrinciple" ⓘ |
| Italian anarchist movement | workers’ self-organization via predicate surface "corePrinciple" ⓘ |
| Dennard scaling | as transistors shrink, power density remains approximately constant ⓘ |
| Dennard scaling | transistor dimensions, voltage, and current scale together ⓘ |
| Dennard scaling | smaller transistors allow higher clock frequencies without increasing power density ⓘ |
| Dennard scaling | smaller transistors allow more devices per chip at similar total power ⓘ |
| Liskov Substitution Principle | objects of a superclass should be replaceable with objects of a subclass without affecting program correctness ⓘ |
| Dependency Inversion Principle | high-level modules should not depend on low-level modules ⓘ |
| Dependency Inversion Principle | both high-level and low-level modules should depend on abstractions ⓘ |
| Dependency Inversion Principle | abstractions should not depend on details ⓘ |