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 |
| expressedInTermsOf | 16 |
| mathematicalType | 15 |
| equationForm | 14 |
| mathematicalBasis | 14 |
| equation | 11 |
| governingEquations | 11 |
| givesFormulaFor | 10 |
| mathematicalDefinition | 10 |
| canBeExpressedAs | 9 |
| mathematicalRelation | 9 |
| mathematicallyCharacterizedBy | 9 |
| equationType | 8 |
| governingEquation | 8 |
| hasMathematicalBasis | 8 |
| hasMathematicalDescription | 8 |
| hasMathematicalFormulation | 8 |
| canBeExpressedIn | 7 |
| hasEquation | 6 |
| mathematicalRole | 6 |
| relatedEquation | 6 |
| representationFormula | 6 |
| definedByEquation | 5 |
| entersEquation | 5 |
| probabilityDensityFunction | 5 |
| canBeExpressedUsing | 4 |
| introducedFormula | 4 |
| mathematicallyRepresents | 4 |
| differentialForm | 3 |
| enterEquation | 3 |
| expressibleAs | 3 |
| expressibleIn | 3 |
| functionalEquation | 3 |
| givesFormula | 3 |
| EulerProduct | 2 |
| LaplaceTransform | 2 |
| appearsInFormula | 2 |
| describedByFormula | 2 |
| equationProperty | 2 |
| expressibleInTermsOf | 2 |
| hasMathematicalExpression | 2 |
| inFormula | 2 |
| mainExpression | 2 |
| mathematicallyAnalyzes | 2 |
| mathematicallyCharacterizedAs | 2 |
| mathematicallyModeledAs | 2 |
| relatedFormula | 2 |
| relatedMathematicalForm | 2 |
| DirichletSeriesDefinition | 1 |
| GSEFormula | 1 |
| RPNFormula | 1 |
| RiemannHypothesisStatement | 1 |
| basedOnEquation | 1 |
| canBeExpressedUsingEntropy | 1 |
| cartesianEquation | 1 |
| cdfExpression | 1 |
| coefficientOf | 1 |
| commutationRelations | 1 |
| definitionInCartesianCoordinates | 1 |
| eigenvaluesGivenBy | 1 |
| entryFormula | 1 |
| equationContext | 1 |
| equations | 1 |
| expectationValueRelation | 1 |
| expressesFormula | 1 |
| expressionInTermsOfConstants | 1 |
| formulaInPrincipalDirections | 1 |
| formulaInWavelengthForm | 1 |
| hypotenuseDenotedBy | 1 |
| integralForm | 1 |
| integrand | 1 |
| isMathematicallyRepresentedAs | 1 |
| isSometimesExpressedAs | 1 |
| localExpression | 1 |
| logarithmicDerivative | 1 |
| mathematicalCondition | 1 |
| mathematicallyDefinedBy | 1 |
| mathematicallyExpressedBy canonical | 1 |
| mathematicallyExpresses | 1 |
| mathematicallyFormalizedIn | 1 |
| mathematicallyModeledBy | 1 |
| mathematicallyRepresentedAs | 1 |
| noncommutativityExpressedBy | 1 |
| obeysEquation | 1 |
| occursInEquation | 1 |
| statisticalMechanicsExpression | 1 |
| typicalEquation | 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: 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" ⓘ |