keyFormula
P2310
predicate
Indicates that a formula serves as the primary or defining expression associated with an entity or relationship.
Aliases (23)
- mathematicalForm ×36
- hasFormula ×11
- openingFormula ×6
- containsFormula ×4
- formula ×4
- keyFormulaOfCategoricalImperative ×3
- coreEquation ×2
- costSharingFormula ×2
- mathematicalExpression ×2
- satisfiesEquation ×2
- standardFormula ×2
- GOEFormula ×1
- GUEFormula ×1
- definedByFormula ×1
- establishedFormula ×1
- famousFormula ×1
- formulaInFrequencyForm ×1
- hasEntropyFormula ×1
- hasFormulaForShift ×1
- hasKeyFormula ×1
- mainFormula ×1
- primeFormula ×1
- usesSchedulingFormula ×1
Sample triples (87)
| Subject | Object |
|---|---|
| AFC East | NFL divisional rotation ("usesSchedulingFormula") → |
| Abelian group | a + b = b + a for all elements a, b ("satisfiesEquation") → |
| Athanasian Creed | this is the catholic faith ("containsFormula") → |
| Athanasian Creed | whoever wishes to be saved must hold the catholic faith ("containsFormula") → |
| Bekenstein–Hawking entropy | S = k_B c^3 A / (4 G ħ) ("hasFormula") → |
| Birkot HaShachar | Baruch Atah Adonai Eloheinu Melech HaOlam ("containsFormula") → |
| Boltzmann–Gibbs entropy | S = -k_B \sum_i p_i \ln p_i ("standardFormula") → |
| Boltzmann–Gibbs entropy | S = k_B \ln W ("standardFormula") → |
| Born–Huang expansion | coupled electronic state expansion ("mathematicalForm") → |
| Born–Huang expansion | series expansion in nuclear coordinates ("mathematicalForm") → |
| Brillouin–Wigner perturbation theory | series expansion in powers of the perturbation ("mathematicalForm") → |
| CLT | normalized sum converges in distribution to N(0,1) ("mathematicalForm") → |
| Chalcedonian Definition | in two natures, without confusion, without change, without division, without separation ("hasKeyFormula") → |
| Chandrasekhar limit | M_ch ≈ 5.83 / μ_e^2 solar masses ("hasFormula") → |
| Compton effect | Δλ = (h / (m_e c)) (1 − cos θ) ("hasFormulaForShift") → |
| Dirac equation | first-order linear differential equation ("mathematicalForm") → |
| Does the Inertia of a Body Depend Upon Its Energy Content? | E = mc² ("famousFormula") → |
| Drake equation | N = R* × fp × ne × fl × fi × fc × L ("hasFormula") → |
| Dyson series | infinite sum of multiple time integrals ("mathematicalForm") → |
| Eddington limit | L_Edd = 4πGMc/κ ("mathematicalForm") → |
| Epistle to the Galatians | Paul, an apostle ("openingFormula") → |
| Epistle to the Romans | Paul, a servant of Christ Jesus ("openingFormula") → |
| Euler’s totient function φ(n) | If n = p₁^{a₁}…p_k^{a_k} then φ(n) = n ∏_{i=1}^k (1 − 1/p_i) ("formula") → |
| Euler’s totient function φ(n) | If n = p₁^{a₁}…p_k^{a_k} then φ(n) = ∏_{i=1}^k p_i^{a_i−1}(p_i − 1) ("formula") → |
| Euler’s totient function φ(n) | φ(p) = p − 1 for prime p ("primeFormula") → |
| Exsultet | “O felix culpa” ("containsFormula") → |
| Federal-Aid Highway Act of 1956 | 10 percent state ("costSharingFormula") → |
| Federal-Aid Highway Act of 1956 | 90 percent federal ("costSharingFormula") → |
| Feynman–Hellmann theorem | dE_n/dλ = ⟨ψ_n| ∂H/∂λ |ψ_n⟩ ("mathematicalForm") → |
| Gauss's law | ∮_S E · dA = Q_enclosed / ε₀ ("mathematicalForm") → |
| Gauss's law for magnetism | ∇ · B = 0 ("mathematicalForm") → |
| Gauss's law for magnetism | ∮_S B · dA = 0 ("mathematicalForm") → |
| Gauss’s planetary equations | first-order ordinary differential equations ("mathematicalForm") → |
| Gell-Mann–Nishijima formula | Q = I3 + Y/2 ("mathematicalForm") → |
| Gibbons–Hawking temperature | T = \frac{\hbar H}{2\pi k_B} ("hasFormula") → |
| Gross–Pitaevskii equation | nonlinear complex-valued partial differential equation ("mathematicalForm") → |
| Groundwork of the Metaphysics of Morals | Formula of Humanity ("keyFormulaOfCategoricalImperative") → |
| Groundwork of the Metaphysics of Morals | Formula of Universal Law ("keyFormulaOfCategoricalImperative") → |
| Groundwork of the Metaphysics of Morals | Formula of the Kingdom of Ends ("keyFormulaOfCategoricalImperative") → |
| Herzberg–Teller approximation | Taylor expansion of transition moment around equilibrium geometry ("mathematicalForm") → |
| Holy Baptism | "I baptize you in the name of the Father, and of the Son, and of the Holy Spirit" ("hasFormula") → |
| Housing and Community Development Act of 1974 | formula allocation of CDBG funds based on community needs ("establishedFormula") → |
| Kepler’s third law | T^2 ∝ a^3 ("mathematicalForm") → |
| Kirchhoff's law of thermal radiation | ε(λ,T) = α(λ,T) for a body in thermal equilibrium ("mathematicalForm") → |
| Kretschmann scalar | K = R_{abcd} R^{abcd} ("mathematicalExpression") → |
| Landauer's principle | Q ≥ kT ln 2 per erased bit ("hasFormula") → |
| Lemaître–Hubble law | linear relation between velocity and distance ("mathematicalForm") → |
| Levi-Civita connection | Koszul formula ("definedByFormula") → |
| Lorentz contraction | L = L0 * sqrt(1 - v^2/c^2) ("mathematicalForm") → |
| Lorentz force | four-vector form in special relativity ("mathematicalForm") → |
| Maxwell stress tensor | 3×3 matrix of field components ("mathematicalForm") → |
| Maxwell–Boltzmann statistics | exponential of negative energy over kT ("mathematicalForm") → |
| Mulliken electronegativity scale | χ_M = (I + A) / 2 ("formula") → |
| Navier–Stokes equations | nonlinear partial differential equations ("mathematicalForm") → |
| Newtonian fluid | τ_ij = 2 μ e_ij + λ δ_ij ∇·v ("mathematicalForm") → |
| Newtonian mechanics | F = ma ("coreEquation") → |
| Pascal's identity | C(n,k) = C(n-1,k-1) + C(n-1,k) ("hasFormula") → |
| Pauli exclusion principle | antisymmetry of many-fermion wavefunction under particle exchange ("mathematicalForm") → |
| Pauling electronegativity scale | difference proportional to square root of extra bond energy ("mathematicalForm") → |
| Planck radiation law | spectral radiance proportional to 1/λ^5 divided by (exp(hc/(λkT)) − 1) ("mathematicalForm") → |
| Planck radiation law | spectral radiance proportional to ν^3 divided by (exp(hν/kT) − 1) ("mathematicalForm") → |
| Planck time | t_P = sqrt(ħ G / c^5) ("hasFormula") → |
| Rayleigh–Jeans law at low frequencies | B_ν(T) = (2ν²kT)∕c² ("formulaInFrequencyForm") → |
| Rayleigh–Schrödinger perturbation theory | power series in coupling constant ("mathematicalForm") → |
| Schwarzschild black hole | Bekenstein–Hawking entropy ("hasEntropyFormula") → |
| Schwarzschild black hole | Einstein field equations in vacuum ("satisfiesEquation") → |
| Schwarzschild criterion | ∇_rad < ∇_ad implies convective stability ("mathematicalForm") → |
| Schwarzschild criterion | ∇_rad > ∇_ad implies convective instability ("mathematicalForm") → |
| Schwarzschild radius | r_s = 2GM/c^2 ("mathematicalExpression") → |
| Second Epistle to Timothy | Paul, an apostle of Christ Jesus ("openingFormula") → |
| Shannon entropy | H(X) = -\sum_x p(x) \log p(x) ("hasFormula") → |
| Smoluchowski coagulation equation | integro-differential equation in time and cluster size ("mathematicalForm") → |
| Stefan–Boltzmann law | j* = σ T^4 ("mathematicalForm") → |
| Steinmetz’s law of hysteresis | P = k f B_max^n ("hasFormula") → |
| Surah As-Saff | Bismillah ir-Rahman ir-Rahim ("openingFormula") → |
| Surah At-Tawbah | does not begin with "Bismillah ar-Rahman ar-Rahim" ("openingFormula") → |
| Third Epistle of John | The elder to the beloved Gaius ("openingFormula") → |
| Trinity | one essence in three persons → |
| Wallace Clement Sabine | T = 0.161 V / A ("hasFormula") → |
| Wick’s theorem | T(ϕ₁…ϕₙ)=:ϕ₁…ϕₙ:+(all single contractions)+…+(all full contractions) ("mathematicalForm") → |
| Wigner surmise | P(s) = (32/π^2) s^2 exp(-4 s^2 / π) ("GUEFormula") → |
| Wigner surmise | P(s) = (π/2) s exp(-π s^2 / 4) ("GOEFormula") → |
| Young's modulus | E = σ / ε ("formula") → |
| expected utility theory | EU(a)=Σ p_i u(x_i) over possible outcomes x_i with probabilities p_i ("mathematicalForm") → |
| general relativity | Einstein field equations ("coreEquation") → |
| generalized binomial theorem | (1+z)^α = Σ_{k=0}^{∞} (α choose k) z^k ("mainFormula") → |
| law of universal gravitation | F = G * (m1 * m2) / r^2 ("mathematicalForm") → |