coreCondition

P19924
predicate

Indicates that something serves as the primary or fundamental condition that must hold for a situation, process, or relationship to apply.

Try in SPARQL

All labels observed (16)

Label Occurrences
domainCondition 43
conditionFor 30
coreRequirement 28

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: coreCondition
Generated description
Indicates that something serves as the primary or fundamental condition that must hold for a situation, process, or relationship to apply.

Sample triples (191)

Subject Object
Libya to respond effectively to extradition requests for suspects improvement of Libya’s international relations via predicate surface "conditionFor" ⓘ
Libya to respond effectively to extradition requests for suspects lifting or easing of certain international sanctions via predicate surface "conditionFor" ⓘ
Cohen–Macaulay ring every system of parameters is an R-regular sequence via predicate surface "equivalentCondition" ⓘ
Cohen–Macaulay ring depth of localizations at all prime ideals equals their Krull dimension via predicate surface "equivalentCondition" ⓘ
Cauchy’s mean value theorem functions defined on a closed interval [a,b] via predicate surface "domainCondition" ⓘ
Cauchy’s mean value theorem functions continuous on [a,b] via predicate surface "domainCondition" ⓘ
Cauchy’s mean value theorem functions differentiable on (a,b) via predicate surface "domainCondition" ⓘ
Rouché's theorem |f(z) - g(z)| < |f(z)| on the contour ⓘ
Cauchy completeness every Cauchy filter converges (in uniform spaces) via predicate surface "equivalentCondition" ⓘ
Galois extension the number of K-embeddings of the extension into an algebraic closure equals the degree of the extension via predicate surface "equivalentCondition" ⓘ
Galois extension the fixed field of the Galois group equals the base field via predicate surface "equivalentCondition" ⓘ
Deuteronomy 14:28–29 blessing of the LORD in all work of the hands via predicate surface "conditionFor" ⓘ
Gun-Free Schools Act of 1994 receipt of certain federal education funds via predicate surface "conditionFor" ⓘ
Liouville's theorem
surface form: Liouville's theorem (complex analysis)
function is entire via predicate surface "domainCondition" ⓘ
Liouville's theorem
surface form: Liouville's theorem (complex analysis)
function is defined on the whole complex plane via predicate surface "domainCondition" ⓘ
ولي عهد المملكة العربية السعودية أن يكون من أبناء الملك المؤسس عبدالعزيز بن عبدالرحمن الفيصل آل سعود وذريتهم via predicate surface "الشرط_الأساسي" ⓘ
ولي عهد المملكة العربية السعودية أن تتوفر فيه الشروط المقررة في النظام الأساسي للحكم via predicate surface "الشرط_الأساسي" ⓘ
JJDPA deinstitutionalization of status offenders via predicate surface "coreRequirement" ⓘ
JJDPA adult jail and lockup removal via predicate surface "coreRequirement" ⓘ
JJDPA sight and sound separation of juveniles from adult inmates via predicate surface "coreRequirement" ⓘ
JJDPA disproportionate minority contact reduction via predicate surface "coreRequirement" ⓘ
Whitehead product in homotopy theory
surface form: Whitehead product
α ∈ π_m(X), β ∈ π_n(X) via predicate surface "domainCondition" ⓘ
Cheeger–Gromov compactness theorem existence of convergent subsequence of Riemannian manifolds via predicate surface "givesConditionFor" ⓘ
Cheeger–Gromov compactness theorem Gromov–Hausdorff precompactness via predicate surface "givesConditionFor" ⓘ
Cheeger–Gromov compactness theorem smooth Cheeger–Gromov convergence via predicate surface "givesConditionFor" ⓘ
Lax–Wendroff method CFL condition via predicate surface "stabilityCondition" ⓘ
Evidence Code § 702 admissibility of witness testimony via predicate surface "conditionFor" ⓘ
FEI recognition of events and series use of FEI name and logo in event promotion via predicate surface "conditionFor" ⓘ
FEI recognition of events and series inclusion in FEI communications and publications via predicate surface "conditionFor" ⓘ
T1 separation axiom Every singleton set {x} is closed in the space. via predicate surface "equivalentCondition" ⓘ
T1 separation axiom Finite subsets of the space are closed. via predicate surface "equivalentCondition" ⓘ
T1 separation axiom For each point x and each point y ≠ x, there exists an open set containing x but not y. via predicate surface "equivalentCondition" ⓘ
Kolmogorov space (T0 space)
surface form: Kolmogorov space
specialization preorder is a partial order via predicate surface "equivalentCondition" ⓘ
Bloch theorem unit disk in the complex plane via predicate surface "domainCondition" ⓘ
distortion theorem unit disk via predicate surface "domainCondition" ⓘ
distortion theorem open unit disk via predicate surface "domainCondition" ⓘ
Arzelà–Ascoli theorem domain is compact via predicate surface "domainCondition" ⓘ
Arzelà–Ascoli theorem domain is a compact metric space via predicate surface "domainCondition" ⓘ
Little Treaty of Versailles international recognition of Poland via predicate surface "conditionFor" ⓘ
Corona theorem bounded analytic functions f_1,...,f_n with no common zero on the unit disk ⓘ
Helmholtz free energy ΔF = 0 at equilibrium for reversible processes at constant T and V via predicate surface "equilibriumCondition" ⓘ