usedInExpression
P51567
predicate
Indicates that one entity (typically a term, symbol, or construct) is employed as a component within another entity that represents an expression.
All labels observed (7)
| Label | Occurrences |
|---|---|
| usedToExpress | 44 |
| SIBaseExpression | 7 |
| appearsInExpression | 7 |
| usedInExpression canonical | 7 |
| usesPlaceholderSyntax | 2 |
| يُستعمل_تعبير | 2 |
| usedInFormula | 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: usedInExpression
Generated description
Indicates that one entity (typically a term, symbol, or construct) is employed as a component within another entity that represents an expression.
Sample triples (70)
| Subject | Object |
|---|---|
| Sunday | Sunday best ⓘ |
| Sunday | Sunday driver ⓘ |
| Sunday | Sunday school ⓘ |
| farad | s^4·A^2·m^-2·kg^-1 via predicate surface "SIBaseExpression" ⓘ |
| farad | C^2·J^-1 via predicate surface "SIBaseExpression" ⓘ |
| farad | C·V^-1 via predicate surface "SIBaseExpression" ⓘ |
| farad | s·Ω^-1 via predicate surface "SIBaseExpression" ⓘ |
| farad | S·s via predicate surface "SIBaseExpression" ⓘ |
| Kronecker delta | orthonormality of basis vectors via predicate surface "usedToExpress" ⓘ |
| Dirac matrices | Lorentz-covariant bilinears via predicate surface "usedToExpress" ⓘ |
| Dirac matrices | spinor bilinears such as ψ̄γ^μψ via predicate surface "usedToExpress" ⓘ |
| Ika | idea of oneness amid diversity via predicate surface "usedToExpress" ⓘ |
| Ika | idea of unity via predicate surface "usedToExpress" ⓘ |
| The Absolutely Pure | reverence for God's purity via predicate surface "usedToExpress" ⓘ |
| The Absolutely Pure | affirmation of God's freedom from all flaws via predicate surface "usedToExpress" ⓘ |
|
h-bar
surface form:
ħ
|
energy-time uncertainty via predicate surface "usedToExpress" ⓘ |
|
h-bar
surface form:
ħ
|
position-momentum uncertainty via predicate surface "usedToExpress" ⓘ |
| Pochhammer symbol | coefficients of hypergeometric series via predicate surface "usedToExpress" ⓘ |
| Pochhammer symbol | binomial coefficients in generalized form via predicate surface "usedToExpress" ⓘ |
| Pochhammer symbol | moments in probability distributions via predicate surface "usedToExpress" ⓘ |
| Pochhammer symbol | terms of orthogonal polynomial sequences via predicate surface "usedToExpress" ⓘ |
| Ad astra per aspera | perseverance in the face of hardship via predicate surface "usedToExpress" ⓘ |
| Ad astra per aspera | the idea that great achievements require struggle via predicate surface "usedToExpress" ⓘ |
| Montresor family coat of arms | Montresor’s sense of injured honor via predicate surface "usedToExpress" ⓘ |
| Montresor family coat of arms | the idea of retaliatory violence via predicate surface "usedToExpress" ⓘ |
| Riemann–Siegel theta function | ζ(1/2+it) in terms of a real-valued function via predicate surface "usedToExpress" ⓘ |
| Elend (German) | im Elend sein ⓘ |
| Elend (German) | jemanden ins Elend stürzen ⓘ |
| Elend (German) | aus dem Elend kommen ⓘ |
| Ramanujan theta function | partition generating functions via predicate surface "usedToExpress" ⓘ |
| Dulcedo | spiritual joy via predicate surface "usedToExpress" ⓘ |
| Dulcedo | interior delight in God via predicate surface "usedToExpress" ⓘ |
| Velocity templates | $variable via predicate surface "usesPlaceholderSyntax" ⓘ |
| Velocity templates | ${expression} via predicate surface "usesPlaceholderSyntax" ⓘ |
| La Bonne Mère | “Que la Bonne Mère te protège” ⓘ |
| Curie constant | C = (μ₀ N μ_eff²) / (3 k_B) via predicate surface "appearsInExpression" ⓘ |
| towa (eternity) | lasting commitment via predicate surface "usedToExpress" ⓘ |
| towa (eternity) | unchanging feelings via predicate surface "usedToExpress" ⓘ |
| towa (eternity) | endless time span via predicate surface "usedToExpress" ⓘ |
| Pascal (unit) | kg·m⁻¹·s⁻² via predicate surface "SIBaseExpression" ⓘ |
| Maurer–Cartan form | curvature of connections via predicate surface "usedToExpress" ⓘ |
| Maurer–Cartan form | structure equations of Cartan via predicate surface "usedToExpress" ⓘ |
|
Expected Family Contribution (EFC) (historical)
surface form:
Expected Family Contribution (EFC)
|
Cost of Attendance minus Expected Family Contribution equals financial need via predicate surface "usedInFormula" ⓘ |
| Beta function | moments of Beta distribution via predicate surface "usedToExpress" ⓘ |
| Beta function | integrals involving powers of sine and cosine via predicate surface "usedToExpress" ⓘ |
| Beta function | integrals of rational functions of polynomials via predicate surface "usedToExpress" ⓘ |
| Jacobi theta functions | solutions of certain differential equations via predicate surface "usedToExpress" ⓘ |
| Jacobi theta functions | Green functions on tori via predicate surface "usedToExpress" ⓘ |
| Jacobi theta functions | characters of conformal field theories via predicate surface "usedToExpress" ⓘ |
| Jacobi theta functions | partition functions of lattice models via predicate surface "usedToExpress" ⓘ |