holdsUnderCondition

P61769
predicate

Indicates that one fact, rule, or relationship remains valid only when a specified condition or set of conditions is satisfied.

Try in SPARQL

All labels observed (22)

Label Occurrences
isConditionedBy 7
holdsIf 5
conditionForRight 4

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: holdsUnderCondition
Generated description
Indicates that one fact, rule, or relationship remains valid only when a specified condition or set of conditions is satisfied.

Sample triples (49)

Subject Object
Carathéodory’s extension theorem pre-measure is σ-finite (for uniqueness on generated σ-algebra in some formulations) ⓘ
Picard iteration Lipschitz condition on the function f(t,y) via predicate surface "convergesUnderCondition" ⓘ
Picard iteration sufficiently small time interval via predicate surface "convergesUnderCondition" ⓘ
Fermat's Last Theorem n is an integer greater than 2 via predicate surface "conditionOnExponent" ⓘ
Fermat point unique for any nondegenerate triangle via predicate surface "existenceCondition" ⓘ
Poincaré recurrence theorem set A must have positive measure via predicate surface "conditionOnSet" ⓘ
Lindeberg–Feller central limit theorem Lindeberg condition via predicate surface "usesCondition" ⓘ
linked to: Lindeberg–Feller central limit theorem
Lyapunov equation system matrix A has eigenvalues with negative real parts in continuous time via predicate surface "holdsIf" ⓘ
Lyapunov equation system matrix A has eigenvalues inside the unit circle in discrete time via predicate surface "holdsIf" ⓘ
Jacobi triple product |q| < 1 via predicate surface "conditionOnq" ⓘ
Fundamental Theorem of Calculus integrand is typically continuous on a closed interval via predicate surface "assumesCondition" ⓘ
Rabi oscillation near-resonant driving via predicate surface "occursUnderCondition" ⓘ
Rabi oscillation coherent evolution via predicate surface "occursUnderCondition" ⓘ
Gibbs free energy constant temperature and pressure via predicate surface "usedUnderConditions" ⓘ
Hel
linked to: Hel (goddess)
Baldr via predicate surface "refusesReleaseIfConditionNotMet" ⓘ
Ramsey test for conditionals a conditional is acceptable if, upon supposing the antecedent, one would accept the consequent via predicate surface "truthCondition" ⓘ
Runway 10/28 various wind conditions via predicate surface "usedUnderCondition" ⓘ
Runway 10/28 various traffic conditions via predicate surface "usedUnderCondition" ⓘ
Q-learning sufficient exploration via predicate surface "convergesUnderConditions" ⓘ
Q-learning decaying learning rate via predicate surface "convergesUnderConditions" ⓘ
Q-learning Markov decision process via predicate surface "convergesUnderConditions" ⓘ
Latimer oxidation-potential diagrams standard conditions via predicate surface "assumesCondition" ⓘ
Latimer oxidation-potential diagrams aqueous solution via predicate surface "assumesCondition" ⓘ
Fourier series Dirichlet conditions via predicate surface "convergesUnderCondition" ⓘ
Dar al-Ahd (in some juristic usages) classical doctrines of pacta sunt servanda in Islamic law via predicate surface "isConditionedBy" ⓘ
Etherington reciprocity theorem spacetime is described by a metric theory via predicate surface "holdsIf" ⓘ
Etherington reciprocity theorem light propagation is reversible via predicate surface "holdsIf" ⓘ
Eddie Aikau Big Wave Invitational yes via predicate surface "heldConditionally" ⓘ
Ward–Takahashi identities symmetry is not anomalous via predicate surface "holdsIf" ⓘ
Chevalley’s theorem in algebraic geometry source scheme is of finite type over the target scheme via predicate surface "holdsUnderAssumption" ⓘ
Chevalley’s theorem in algebraic geometry schemes are Noetherian in many standard formulations via predicate surface "holdsUnderAssumption" ⓘ
Председник Владе Србије мора имати подршку већине народних посланика via predicate surface "услов" ⓘ
Nevada water law doctrine of prior appropriation application to appropriate water via predicate surface "conditionForRight" ⓘ
Nevada water law doctrine of prior appropriation permit issued by Nevada State Engineer via predicate surface "conditionForRight" ⓘ
Nevada water law doctrine of prior appropriation proof of beneficial use via predicate surface "conditionForRight" ⓘ
Bernoulli differential equation
linked to: Bernoulli differential equations
n ≠ 0 via predicate surface "conditionOnExponent" ⓘ
Bernoulli differential equation
linked to: Bernoulli differential equations
n ≠ 1 via predicate surface "conditionOnExponent" ⓘ
duty to dissent contextual risk to the dissenter via predicate surface "isConditionedBy" ⓘ
duty to dissent availability of channels to express disagreement via predicate surface "isConditionedBy" ⓘ
duty to dissent severity of the perceived injustice via predicate surface "isConditionedBy" ⓘ
Jacobi manifold [Λ,Λ] = 2E ∧ Λ (Schouten–Nijenhuis bracket) via predicate surface "conditionOnPair" ⓘ
Jacobi manifold [E,Λ] = 0 (Schouten–Nijenhuis bracket) via predicate surface "conditionOnPair" ⓘ
Article IV of the NPT compliance with non-proliferation obligations via predicate surface "conditionForRight" ⓘ
Earth's ruling elite in "Pebble in the Sky" planet-wide radioactivity via predicate surface "governsUnderCondition" ⓘ
Runway 15L/33R various wind conditions via predicate surface "usedUnderCondition" ⓘ
Runway 15L/33R various traffic conditions via predicate surface "usedUnderCondition" ⓘ
King-in-Court constitutional limitations on the monarch via predicate surface "isConditionedBy" ⓘ
King-in-Court judicial procedures via predicate surface "isConditionedBy" ⓘ
Canadian Shift low-back vowel merger via predicate surface "isConditionedBy" ⓘ