equalityCondition

P52973
predicate

Indicates that two values, expressions, or attributes must be exactly the same for the condition to be satisfied.

Try in SPARQL

All labels observed (10)

Label Occurrences
equalityCondition canonical 15
exampleAssertion 3
valueCondition 3

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: equalityCondition
Generated description
Indicates that two values, expressions, or attributes must be exactly the same for the condition to be satisfied.

Sample triples (30)

Subject Object
Hölder inequality |f|^p and |g|^q are proportional almost everywhere ⓘ
Hölder inequality for sequences, |aᵢ|^p and |bᵢ|^q are proportional ⓘ
Jensen's inequality
linked to: Jensen inequality
random variable is almost surely constant ⓘ
Jensen's inequality
linked to: Jensen inequality
convex function is affine on the support of the random variable ⓘ
Wigner surmise ∫₀^∞ s P(s) ds = 1 via predicate surface "meanSpacingCondition" ⓘ
Should.js (1).should.be.exactly(1) via predicate surface "exampleAssertion" ⓘ
Should.js user.should.have.property('name') via predicate surface "exampleAssertion" ⓘ
Should.js promise.should.be.rejected() via predicate surface "exampleAssertion" ⓘ
Cramér–Rao bound achieved by efficient estimators ⓘ
Cramér–Rao bound achieved by maximum likelihood estimator under regularity conditions ⓘ
Legendre symbol (a/p)=0 if p divides a via predicate surface "valueCondition" ⓘ
Legendre symbol (a/p)=1 if a is a quadratic residue modulo p and a not congruent 0 mod p via predicate surface "valueCondition" ⓘ
Legendre symbol (a/p)=-1 if a is a quadratic non-residue modulo p via predicate surface "valueCondition" ⓘ
Cauchy–Schwarz inequality equality holds if and only if the two vectors are linearly dependent ⓘ
Cauchy–Schwarz inequality equality holds if one vector is a scalar multiple of the other ⓘ
Schwarz lemma if |f'(0)| = 1 then f is a rotation ⓘ
Schwarz lemma if |f(z)| = |z| for some nonzero z then f is a rotation ⓘ
Schwarz lemma f(z) = e^{iθ} z for some real θ via predicate surface "equalityCaseDescription" ⓘ
Clausius theorem reversible cyclic process ⓘ
Hadamard inequality rows are pairwise orthogonal ⓘ
Hadamard inequality columns are pairwise orthogonal ⓘ
Hadamard inequality matrix is diagonal up to unitary transformation ⓘ
MIP = NEXP
linked to: MIP equals NEXP
MIP via predicate surface "statesEqualityBetween" ⓘ
MIP = NEXP
linked to: MIP equals NEXP
NEXP via predicate surface "statesEqualityBetween" ⓘ
Young's inequality a^p = b^q via predicate surface "equalityHoldsIf" ⓘ
Young's inequality a^p/p = b^q/q via predicate surface "equalityHoldsIf" ⓘ
Dyson index β presence of time-reversal symmetry and integer spin via predicate surface "βEquals1Implies" ⓘ
android.print.PrinterId service name and local ID via predicate surface "equalityBasedOn" ⓘ
Bessel inequality orthonormal system is complete (Parseval identity holds) ⓘ
Schwarz–Pick theorem equality holds if and only if f is a Möbius automorphism of the unit disk via predicate surface "hasEqualityCondition" ⓘ