keyFormula
P2310
predicate
Indicates that a formula serves as the primary or defining expression associated with an entity or relationship.
All labels observed (35)
| Label | Occurrences |
|---|---|
| mathematicalForm | 239 |
| hasFormula | 74 |
| formula | 24 |
| openingFormula | 15 |
| hasKeyFormula | 14 |
| containsFormula | 10 |
| coreFormula | 7 |
| satisfiesEquation | 7 |
| coreEquation | 6 |
| keyFormula canonical | 4 |
| mathematicalExpression | 4 |
| costSharingFormula | 3 |
| definitionFormula | 3 |
| famousFormula | 3 |
| keyFormulaOfCategoricalImperative | 3 |
| typicalFormula | 3 |
| centralFormula | 2 |
| standardFormula | 2 |
| GOEFormula | 1 |
| GUEFormula | 1 |
| bracketFormula | 1 |
| codeRateFormula | 1 |
| combinedFormula | 1 |
| commonFormula | 1 |
| definedByFormula | 1 |
| establishedFormula | 1 |
| formulaInFrequencyForm | 1 |
| hasEntropyFormula | 1 |
| hasFormulaForShift | 1 |
| kernelFormula | 1 |
| keyStatementFormula | 1 |
| mainFormula | 1 |
| originalFormulaFor | 1 |
| primeFormula | 1 |
| usesSchedulingFormula | 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: keyFormula
Generated description
Indicates that a formula serves as the primary or defining expression associated with an entity or relationship.
Sample triples (440)
| Subject | Object |
|---|---|
| V–A theory | V − A combination of currents via predicate surface "mathematicalForm" ⓘ |
| Bhabha–Corben equations | system of coupled differential equations via predicate surface "mathematicalForm" ⓘ |
| Titius–Bode law | a = 0.4 + 0.3 × 2^n (in astronomical units) via predicate surface "mathematicalForm" ⓘ |
| Kramers opacity law | κ ∝ ρ T^(-7/2) via predicate surface "mathematicalForm" ⓘ |
| Knudsen number | Kn = λ / L via predicate surface "formula" ⓘ |
| StandardScaler | (x - mean) / standard_deviation via predicate surface "commonFormula" ⓘ |
| Glauber–Sudarshan P function | distribution over complex amplitude α via predicate surface "mathematicalForm" ⓘ |
| Cotton–Mouton effect | birefringence proportional to Cotton–Mouton constant times square of magnetic field via predicate surface "mathematicalForm" ⓘ |
| Compton wavelength | λ_C = h / (m c) via predicate surface "hasFormula" ⓘ |
|
Compton wavelength
surface form:
reduced Compton wavelength
|
λ̄_C = ħ / (m c) via predicate surface "hasFormula" ⓘ |
| Butler–Volmer equation | exponential dependence of current on overpotential via predicate surface "mathematicalForm" ⓘ |
| Cesàro summation | σ_n = (1/(n+1)) Σ_{k=0}^n s_k where s_k are partial sums via predicate surface "hasFormula" ⓘ |
| Lucas supply function | y = y* + α(p - E[p]) via predicate surface "mathematicalForm" ⓘ |
|
Zeldovich approximation in large-scale structure formation
surface form:
Zeldovich approximation
|
x(q,a) = q + D(a) s(q) via predicate surface "mathematicalForm" ⓘ |
| Jordan–Wigner transformation | string of σz operators multiplying local spin-flip operators via predicate surface "mathematicalForm" ⓘ |
| Neumann boundary conditions in potential theory | ∂u/∂n = g on the boundary via predicate surface "mathematicalForm" ⓘ |
| Bogoliubov–Born–Green–Kirkwood–Yvon hierarchy | coupled equations for reduced distribution functions f_s via predicate surface "mathematicalForm" ⓘ |
| Bogoliubov inequality | inequality between correlation functions and commutators via predicate surface "mathematicalForm" ⓘ |
| Dirichlet boundary conditions | u(x)=g(x) for x on the boundary via predicate surface "mathematicalForm" ⓘ |
| Parable of the Yeast | "The kingdom of heaven is like" via predicate surface "openingFormula" ⓘ |
| Karplus equation for NMR coupling constants | J = A cos²(θ) + B cos(θ) + C via predicate surface "mathematicalForm" ⓘ |
| Second Epistle of Clement | lacks epistolary greeting via predicate surface "openingFormula" ⓘ |
| Ganapati Atharvashirsha | identification of Ganesha with Om via predicate surface "containsFormula" ⓘ |
| Ganapati Atharvashirsha | identification of Ganesha with the five elements via predicate surface "containsFormula" ⓘ |
| Ganapati Atharvashirsha | identification of Ganesha with speech and consciousness via predicate surface "containsFormula" ⓘ |
| Gutzwiller approximation | renormalization of kinetic and interaction terms by Gutzwiller factors via predicate surface "mathematicalForm" ⓘ |
| Coulomb gap | power-law suppression of density of states via predicate surface "mathematicalForm" ⓘ |
| Gay-Lussac's law | P ∝ T via predicate surface "mathematicalForm" ⓘ |
| Gay-Lussac's law | P1 / T1 = P2 / T2 via predicate surface "mathematicalForm" ⓘ |
| Gay-Lussac's law | P = kT via predicate surface "mathematicalForm" ⓘ |
| Hamming code | k/n via predicate surface "codeRateFormula" ⓘ |
| Oracles against the nations | Thus says the Lord via predicate surface "openingFormula" ⓘ |
| Dirac current | ∂_μ j^μ = 0 via predicate surface "satisfiesEquation" ⓘ |
| Proca equation | (∂_μ∂^μ + m^2)A^ν − ∂^ν(∂_μ A^μ) = 0 via predicate surface "mathematicalForm" ⓘ |
| Schrödinger formulation of quantum mechanics | time-independent Schrödinger equation via predicate surface "coreEquation" ⓘ |
| Schrödinger formulation of quantum mechanics | Ĥ|ψ⟩ = E|ψ⟩ via predicate surface "coreEquation" ⓘ |
| Ἠοῖαι | ἤ οἵη (ē hoia) via predicate surface "openingFormula" ⓘ |
| Gibbs–Duhem equation | S dT − V dP + Σ n_i dμ_i = 0 via predicate surface "mathematicalForm" ⓘ |
| Debye model | integral over phonon frequencies up to Debye cutoff via predicate surface "mathematicalForm" ⓘ |
| Ertel potential vorticity theorem | Dq/Dt = 0 for inviscid adiabatic flow via predicate surface "mathematicalForm" ⓘ |
| Laplace pressure | ΔP = γ (1/R1 + 1/R2) via predicate surface "hasFormula" ⓘ |
| Laplace pressure | ΔP = 2γ/R for a spherical interface via predicate surface "hasFormula" ⓘ |
| Etherington reciprocity theorem | relation between area distance and luminosity distance via predicate surface "mathematicalForm" ⓘ |
| Weizsäcker formula for nuclear binding energy | binding energy expressed as sum of macroscopic terms via predicate surface "mathematicalForm" ⓘ |
| Charney equation | nonlinear partial differential equation via predicate surface "mathematicalForm" ⓘ |
| Charney–Eliassen model | set of linearized quasi-geostrophic equations via predicate surface "mathematicalForm" ⓘ |
| Charney–Eliassen model | elliptic partial differential equation for streamfunction via predicate surface "mathematicalForm" ⓘ |
| Chew-Frautschi plots | J = α(0) + α' m^2 via predicate surface "mathematicalForm" GENERATED ⓘ |
| Dyophysitism | Christ is in two natures, without confusion, change, division, or separation via predicate surface "centralFormula" ⓘ |
| Lotka–Volterra models | nonlinear differential equations via predicate surface "mathematicalForm" ⓘ |