mathematicallyExpressedBy

P12675
predicate

Indicates that something (such as a concept, quantity, or relationship) is represented or captured using a specific mathematical expression or formulation.

All labels observed (89)

Label Occurrences
expressedAs 57
mathematicalTool 57
symbolicForm 21

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: mathematicallyExpressedBy
Generated description
Indicates that something (such as a concept, quantity, or relationship) is represented or captured using a specific mathematical expression or formulation.

Sample triples (446)

Subject Object
relativity of simultaneity time component of Lorentz transformation
Einstein's annus mirabilis papers
surface form: "Does the Inertia of a Body Depend Upon Its Energy Content?"
E = mc^2 via predicate surface "introducedFormula"
Einstein tensor G_{\mu\nu} = R_{\mu\nu} - \tfrac{1}{2} R g_{\mu\nu} via predicate surface "equation"
Einstein tensor G_{\mu\nu} = 8\pi G T_{\mu\nu} / c^{4} via predicate surface "equationContext"
Eliashberg theory Eliashberg theory via predicate surface "equations" self-linksurface differs
surface form: Eliashberg equations
Levi-Civita connection Christoffel symbols of the second kind via predicate surface "localExpression"
Poisson spot Bessel function intensity distribution via predicate surface "hasMathematicalDescription"
Pascal's triangle C(n,k) = n choose k via predicate surface "entryFormula"
multinomial theorem x1^{k1}...xm^{km} equals n!/(k1!...km!) via predicate surface "coefficientOf"
Snell’s law of refraction n1 * sin(θ1) = n2 * sin(θ2) via predicate surface "equationForm"
Snell’s law of refraction n = c / v via predicate surface "expressibleAs"
Snell’s law of refraction trigonometric relation via predicate surface "mathematicalType"
reduced Planck constant ħ = h / (2π) via predicate surface "mathematicalDefinition"
reduced Planck constant [x̂, p̂] = iħ via predicate surface "entersEquation"
reduced Planck constant Δx Δp ≥ ħ/2 via predicate surface "entersEquation"
reduced Planck constant iħ ∂ψ/∂t = Ĥψ via predicate surface "entersEquation"
reduced Planck constant L̂ = -iħ r × ∇ via predicate surface "entersEquation"
reduced Planck constant Ŝ = ħ σ/2 via predicate surface "entersEquation"
AdS/CFT correspondence correspondence between boundary correlators and bulk on-shell action via predicate surface "mathematicalTool"
Hawking radiation Bogoliubov transformations between in and out states via predicate surface "hasMathematicalDescription"
Hawking radiation quantum field modes on Schwarzschild background via predicate surface "hasMathematicalDescription"
SU(2)_L [T^a, T^b] = i ε^{abc} T^c via predicate surface "commutationRelations"
Huang–Rhys factor average number of phonons involved in an electronic transition via predicate surface "mathematicalRole"
Economic Confidence Model cyclical periodicity via predicate surface "hasMathematicalBasis"
Gaussian distribution f(x) = (1/(σ√(2π))) · exp(−(x−μ)²/(2σ²)) via predicate surface "probabilityDensityFunction"
Gauss’s law
surface form: Gauss's law
∇ · E = ρ / ε₀ via predicate surface "differentialForm"
Gaussian integral e^{−x^2} via predicate surface "integrand"
Higgs field complex scalar doublet field φ via predicate surface "isMathematicallyRepresentedAs"
Higgs mechanism gauge theories with spontaneous symmetry breaking via predicate surface "mathematicallyFormalizedIn"
Galilean relativity Galilean group symmetry via predicate surface "hasMathematicalFormulation"
Rayleigh–Jeans law at low frequencies B_λ(T) = (2ckT)∕λ⁴ via predicate surface "formulaInWavelengthForm"
Wien displacement law λ_max T = b via predicate surface "symbolicForm"
Wien displacement law λ_max = b / T via predicate surface "hasEquation"
Wien displacement law ν_max ≈ (k_B T)/h (for frequency form, approximate) via predicate surface "hasEquation"
Faraday's law of induction ∮_C E · dl = - d/dt ∫_S B · dA via predicate surface "differentialForm"
Faraday's law of induction ∮_C E · dl = - dΦ_B/dt via predicate surface "integralForm"
Lorentz contraction Lorentz factor gamma = 1/sqrt(1 - v^2/c^2) via predicate surface "mathematicalTool"
Lorentz contraction L = L0 / gamma via predicate surface "expressedAs"
Gaussian curvature K = k1 * k2 via predicate surface "formulaInPrincipalDirections"
Newtonian fluids
surface form: Newtonian fluid
τ = μ (du/dy) via predicate surface "obeysEquation"
Euler equations nonlinear partial differential equation via predicate surface "mathematicalType"
Euler equations hyperbolic system via predicate surface "mathematicalType"
Bardeen–Stephen model of flux flow in superconductors flux-flow resistivity ρ_ff ≈ ρ_n (B / Hc2) via predicate surface "givesFormulaFor"
Ekman transport M = τ / (ρ f) via predicate surface "governingEquation"
Boltzmann equation nonlinear equation via predicate surface "mathematicalType"
Boltzmann equation integro-differential equation in 7 variables via predicate surface "mathematicalType"
Rosseland mean opacity harmonic mean of monochromatic opacity weighted by derivative of Planck function with respect to temperature via predicate surface "mathematicalDefinition"
Fermi liquid theory Green's functions via predicate surface "mathematicalTool"
Fermi liquid theory self-energy via predicate surface "mathematicalTool"
Fermi liquid theory renormalization of quasiparticle parameters via predicate surface "mathematicalTool"