keyFormula

P2310
predicate

Indicates that a formula serves as the primary or defining expression associated with an entity or relationship.

Try in SPARQL

All labels observed (35)

Label Occurrences
mathematicalForm 239
hasFormula 74
formula 24

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
Institution Narrative “This is my blood” via predicate surface "containsFormula" ⓘ
Institution Narrative “Do this in memory of me” via predicate surface "containsFormula" ⓘ
Lefschetz fixed-point theorem L(f) = Σ_k (-1)^k Tr(f_* | H_k(X)) via predicate surface "formula" ⓘ
Dehn invariant D(P)=∑_e ℓ(e) ⊗ (θ(e) mod πℚ) via predicate surface "mathematicalExpression" ⓘ
Purcell factor F_P = (3 / (4 π^2)) (λ / n)^3 (Q / V) for an optimally placed and oriented emitter on resonance via predicate surface "hasFormula" ⓘ
Carnot efficiency η_C = 1 − T_cold / T_hot via predicate surface "hasFormula" ⓘ
Carnot efficiency η_C = (T_hot − T_cold) / T_hot via predicate surface "hasFormula" ⓘ
detailed balance principle π(i) P(i→j) = π(j) P(j→i) for all states i,j at equilibrium via predicate surface "mathematicalForm" ⓘ
GDP deflator GDP deflator = (Nominal GDP / Real GDP) × 100 via predicate surface "formula" ⓘ
dependent origination when this exists, that comes to be; with the arising of this, that arises via predicate surface "hasKeyFormula" ⓘ
dependent origination when this does not exist, that does not come to be; with the cessation of this, that ceases via predicate surface "hasKeyFormula" ⓘ
Lambert W function (later named in his honor)
surface form: Lambert W function
W(z) e^{W(z)} = z via predicate surface "satisfiesEquation" ⓘ
Lambertian reflectance law in optics
surface form: Lambertian reflectance law
L = (ρ/π) E cos θ via predicate surface "mathematicalForm" ⓘ
Three Jewels of Buddhism I go to the Buddha for refuge via predicate surface "coreFormula" ⓘ
Three Jewels of Buddhism I go to the Dharma for refuge via predicate surface "coreFormula" ⓘ
Three Jewels of Buddhism I go to the Sangha for refuge via predicate surface "coreFormula" ⓘ
Dyson’s formula time-ordered exponential expressed as a time-ordered series of integrals via predicate surface "mathematicalForm" ⓘ
Feynman propagator vacuum expectation value of T(φ(x)φ(y)) for scalar fields via predicate surface "mathematicalForm" ⓘ
Feynman propagator vacuum expectation value of T(ψ(x) ψ̄(y)) for fermionic fields via predicate surface "mathematicalForm" ⓘ
Feynman propagator vacuum expectation value of T(A_μ(x)A_ν(y)) for gauge fields via predicate surface "mathematicalForm" ⓘ
Dulong–Petit law for molar heat capacity of many solids at high temperature Cv,m ≈ 3R via predicate surface "mathematicalForm" ⓘ
Dulong–Petit law C_V ≈ 3R for many solid elements via predicate surface "mathematicalForm" ⓘ
Tolman–Oppenheimer–Volkoff equation first-order ordinary differential equation in radius via predicate surface "mathematicalForm" ⓘ
Inception Score IS = exp( E_x[ KL( p(y|x) || p(y) ) ] ) via predicate surface "hasFormula" ⓘ
Clausius–Clapeyron relation dP/dT = L / (T · Δv) via predicate surface "mathematicalForm" ⓘ
Clausius theorem ∮ (δQ_rev/T) = 0 for reversible cycles via predicate surface "mathematicalForm" ⓘ
Tsiolkovsky rocket equation Δv = ve * ln(m0 / mf) via predicate surface "hasFormula" ⓘ
Eddington number Γ = κ L / (4 π c G M) via predicate surface "mathematicalForm" ⓘ
First Law of Thermodynamics ΔU = Q − W via predicate surface "mathematicalForm" ⓘ
Néel vector vector sum of sublattice magnetizations with opposite sign via predicate surface "mathematicalForm" ⓘ
Landau–Zener formula transition probability expressed as an exponential of a non-adiabatic parameter via predicate surface "mathematicalForm" ⓘ
golden ratio φ^2 = φ + 1 via predicate surface "satisfiesEquation" ⓘ
golden ratio φ = 1 + 1/φ via predicate surface "satisfiesEquation" ⓘ
Charles's law V ∝ T via predicate surface "mathematicalForm" ⓘ
Charles's law V/T = constant via predicate surface "mathematicalForm" ⓘ
Charles's law V1/T1 = V2/T2 via predicate surface "mathematicalForm" ⓘ
Fick's first law of diffusion J = -D ∂C/∂x via predicate surface "mathematicalForm" ⓘ
Ohm's law for electrical conduction I = V / R via predicate surface "mathematicalForm" ⓘ
Ohm's law for electrical conduction R = V / I via predicate surface "mathematicalForm" ⓘ
Ohm's law for electrical conduction V = I R via predicate surface "mathematicalForm" ⓘ
Born expansion of Green’s function G = G0 + G0 V G0 + G0 V G0 V G0 + … via predicate surface "mathematicalForm" ⓘ
Lippmann–Schwinger equation ψ^{(±)}(r) = φ(r) + ∫ G_0^{(±)}(r,r';E) V(r') ψ^{(±)}(r') d^3r' via predicate surface "mathematicalForm" ⓘ
Khinchin–Lévy constant L = exp(π² / (12 ln 2)) via predicate surface "hasFormula" ⓘ
Hodgkin–Huxley model set of coupled ordinary differential equations via predicate surface "mathematicalForm" ⓘ
Schmidt decomposition |ψ⟩ = Σ_i λ_i |i_A⟩⊗|i_B⟩ with λ_i ≥ 0 via predicate surface "mathematicalForm" ⓘ
Kruskal–Shafranov instability criterion q(a) > 1 for stability of m=1 kink in a simple tokamak model via predicate surface "mathematicalForm" ⓘ
Kruskal–Shafranov instability criterion L / (r B_z) < 2π / B_θ for stability of a cylindrical plasma column via predicate surface "mathematicalForm" ⓘ
Homoousian theology the Son is consubstantial with the Father ⓘ
Homoousian theology the Son is begotten, not made ⓘ
Homoousian theology the Son is true God from true God ⓘ