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 |
Sample triples (440)
| Subject | Object |
|---|---|
| Trinity | one essence in three persons ⓘ |
| Holy Baptism | "I baptize you in the name of the Father, and of the Son, and of the Holy Spirit" via predicate surface "hasFormula" ⓘ |
| Feynman–Hellmann theorem | dE_n/dλ = ⟨ψ_n| ∂H/∂λ |ψ_n⟩ via predicate surface "mathematicalForm" ⓘ |
| Shannon entropy | H(X) = -\sum_x p(x) \log p(x) via predicate surface "hasFormula" ⓘ |
| Schwarzschild black hole | Einstein field equations in vacuum via predicate surface "satisfiesEquation" ⓘ |
| Schwarzschild black hole | Bekenstein–Hawking entropy via predicate surface "hasEntropyFormula" ⓘ |
| Does the Inertia of a Body Depend Upon Its Energy Content? | E = mc² via predicate surface "famousFormula" ⓘ |
| Federal-Aid Highway Act of 1956 | 90 percent federal via predicate surface "costSharingFormula" ⓘ |
| Federal-Aid Highway Act of 1956 | 10 percent state via predicate surface "costSharingFormula" ⓘ |
| Athanasian Creed | whoever wishes to be saved must hold the catholic faith via predicate surface "containsFormula" ⓘ |
| Athanasian Creed | this is the catholic faith via predicate surface "containsFormula" ⓘ |
| Newtonian mechanics | F = ma via predicate surface "coreEquation" ⓘ |
| Born–Huang expansion | series expansion in nuclear coordinates via predicate surface "mathematicalForm" ⓘ |
| Born–Huang expansion | coupled electronic state expansion via predicate surface "mathematicalForm" ⓘ |
| Bekenstein–Hawking entropy | S = k_B c^3 A / (4 G ħ) via predicate surface "hasFormula" ⓘ |
| Kretschmann scalar | K = R_{abcd} R^{abcd} via predicate surface "mathematicalExpression" ⓘ |
| Pauling electronegativity scale | difference proportional to square root of extra bond energy via predicate surface "mathematicalForm" ⓘ |
| Planck radiation law | spectral radiance proportional to ν^3 divided by (exp(hν/kT) − 1) via predicate surface "mathematicalForm" ⓘ |
| Planck radiation law | spectral radiance proportional to 1/λ^5 divided by (exp(hc/(λkT)) − 1) via predicate surface "mathematicalForm" ⓘ |
| law of universal gravitation | F = G * (m1 * m2) / r^2 via predicate surface "mathematicalForm" ⓘ |
| Rayleigh–Schrödinger perturbation theory | power series in coupling constant via predicate surface "mathematicalForm" ⓘ |
| Navier–Stokes equations | nonlinear partial differential equations via predicate surface "mathematicalForm" ⓘ |
| Drake equation | N = R* × fp × ne × fl × fi × fc × L via predicate surface "hasFormula" ⓘ |
| Schwarzschild radius | r_s = 2GM/c^2 via predicate surface "mathematicalExpression" ⓘ |
| AFC East | NFL divisional rotation via predicate surface "usesSchedulingFormula" ⓘ |
| Maxwell–Boltzmann statistics | exponential of negative energy over kT via predicate surface "mathematicalForm" ⓘ |
| Chandrasekhar limit | M_ch ≈ 5.83 / μ_e^2 solar masses via predicate surface "hasFormula" ⓘ |
| Dyson series | infinite sum of multiple time integrals via predicate surface "mathematicalForm" ⓘ |
| Maxwell stress tensor | 3×3 matrix of field components via predicate surface "mathematicalForm" ⓘ |
| Groundwork of the Metaphysics of Morals | Formula of Universal Law via predicate surface "keyFormulaOfCategoricalImperative" ⓘ |
| Groundwork of the Metaphysics of Morals | Formula of Humanity via predicate surface "keyFormulaOfCategoricalImperative" ⓘ |
| Groundwork of the Metaphysics of Morals |
kingdom of ends
via predicate surface "keyFormulaOfCategoricalImperative"
ⓘ
surface form:
Formula of the Kingdom of Ends
|
| Dirac equation | first-order linear differential equation via predicate surface "mathematicalForm" ⓘ |
| Levi-Civita connection |
Levi-Civita connection
via predicate surface "definedByFormula"
self-linksurface differs
ⓘ
surface form:
Koszul formula
|
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
EU(a)=Σ p_i u(x_i) over possible outcomes x_i with probabilities p_i via predicate surface "mathematicalForm" ⓘ |
| Housing and Community Development Act of 1974 | formula allocation of CDBG funds based on community needs via predicate surface "establishedFormula" ⓘ |
| generalized binomial theorem | (1+z)^α = Σ_{k=0}^{∞} (α choose k) z^k via predicate surface "mainFormula" ⓘ |
| Herzberg–Teller approximation | Taylor expansion of transition moment around equilibrium geometry via predicate surface "mathematicalForm" ⓘ |
| Mulliken electronegativity scale | χ_M = (I + A) / 2 via predicate surface "formula" ⓘ |
|
Gauss’s law
surface form:
Gauss's law
|
∮_S E · dA = Q_enclosed / ε₀ via predicate surface "mathematicalForm" ⓘ |
| Gauss’s planetary equations | first-order ordinary differential equations via predicate surface "mathematicalForm" ⓘ |
|
Kepler’s laws of planetary motion
surface form:
Kepler’s third law
|
T^2 ∝ a^3 via predicate surface "mathematicalForm" ⓘ |
| CLT | normalized sum converges in distribution to N(0,1) via predicate surface "mathematicalForm" ⓘ |
| Pauli exclusion principle | antisymmetry of many-fermion wavefunction under particle exchange via predicate surface "mathematicalForm" ⓘ |
| Rayleigh–Jeans law at low frequencies | B_ν(T) = (2ν²kT)∕c² via predicate surface "formulaInFrequencyForm" ⓘ |
| Gauss's law for magnetism | ∮_S B · dA = 0 via predicate surface "mathematicalForm" ⓘ |
| Gauss's law for magnetism | ∇ · B = 0 via predicate surface "mathematicalForm" ⓘ |
| Lorentz contraction | L = L0 * sqrt(1 - v^2/c^2) via predicate surface "mathematicalForm" ⓘ |
| Pascal's identity | C(n,k) = C(n-1,k-1) + C(n-1,k) via predicate surface "hasFormula" ⓘ |
| Wallace Clement Sabine | T = 0.161 V / A via predicate surface "hasFormula" ⓘ |