typeOfCondition
P35662
predicate
Indicates that one condition is a specific kind, category, or subtype of another condition.
All labels observed (7)
| Label | Occurrences |
|---|---|
| conditionType | 12 |
| constraintType | 9 |
| typeOfCondition canonical | 6 |
| errorConditionType | 1 |
| inequalityType | 1 |
| typeOfConstraint | 1 |
| typeOfToleration | 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: typeOfCondition
Generated description
Indicates that one condition is a specific kind, category, or subtype of another condition.
Sample triples (31)
| Subject | Object |
|---|---|
| Faddeev’s axioms | axiomatic characterization ⓘ |
| Toleration Act 1689 | conditional toleration via predicate surface "typeOfToleration" ⓘ |
| TRPO | trust region via predicate surface "constraintType" ⓘ |
| TRPO | KL divergence constraint via predicate surface "constraintType" ⓘ |
| small-gain theorem | sufficient condition via predicate surface "conditionType" ⓘ |
| Retry-After | temporary condition via predicate surface "errorConditionType" ⓘ |
| Cauchy–Riemann equations | necessary condition for complex differentiability via predicate surface "conditionType" ⓘ |
| Cauchy–Riemann equations | sufficient condition for complex differentiability under mild regularity assumptions via predicate surface "conditionType" ⓘ |
| detailed balance principle | microscopic reversibility condition via predicate surface "conditionType" ⓘ |
| brachistochrone problem | holonomic constraint to a curve in a plane via predicate surface "constraintType" ⓘ |
| Canadian Raising of /aɪ/ and /aʊ/ | allophonic via predicate surface "conditionType" ⓘ |
| Fatou's lemma | lower bound inequality via predicate surface "inequalityType" ⓘ |
| Article XIX:4 | procedural safeguard condition ⓘ |
| Article XIX:4 | substantive safeguard condition ⓘ |
| La Catedral prison | luxurious via predicate surface "conditionType" ⓘ |
|
Neumann’s principle in crystallography
surface form:
Neumann’s principle
|
symmetry constraint via predicate surface "constraintType" ⓘ |
| Nevanlinna–Pick interpolation | interpolation with norm bound via predicate surface "typeOfConstraint" ⓘ |
| Sperner family | inclusion-free condition via predicate surface "constraintType" ⓘ |
| Max-E3-LIN-2 | linear equation via predicate surface "constraintType" ⓘ |
| Rodrik trilemma | mutual incompatibility of three goals via predicate surface "constraintType" ⓘ |
| Erdős–Gallai theorem | inequality conditions via predicate surface "conditionType" ⓘ |
| Erdős–Turán conjecture | analytic density condition ⓘ |
| DAXplus Minimum Variance | constituent and sector limits via predicate surface "constraintType" ⓘ |
| Jury stability table | necessary and sufficient for all roots inside unit circle via predicate surface "conditionType" ⓘ |
| Zames–Falb multipliers | integral inequality constraints via predicate surface "constraintType" ⓘ |
| Legendre's three-square theorem | congruence condition on integers ⓘ |
| Bendixson–Dulac criterion | sufficient condition for nonexistence of periodic orbits via predicate surface "conditionType" ⓘ |
|
Special Category Visa for New Zealand citizens in Australia
surface form:
Special Category Visa (subclass 444)
|
may include standard visa conditions under Australian migration law via predicate surface "conditionType" ⓘ |
| Dini test for convergence of Fourier series | sufficient but not necessary via predicate surface "conditionType" ⓘ |
| Robbins theorem | necessary and sufficient condition via predicate surface "conditionType" ⓘ |
|
Pósa’s theorem in graph theory
surface form:
Pósa’s theorem
|
degree sequence condition ⓘ |