areNecessaryFor
P110042
predicate
Indicates that one entity is required or must exist for another entity, condition, or outcome to occur or be possible.
Observed surface forms (4)
- necessaryFor ×5
- essentialElement ×4
- mainImportNeeds ×3
- stillRequiredFor ×1
Sample triples (14)
| Subject | Object |
|---|---|
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
identifying natural numbers with specific sets in set-theoretic constructions via predicate surface "necessaryFor" ⓘ |
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
identifying ordered pairs with specific sets in set-theoretic constructions via predicate surface "necessaryFor" ⓘ |
| Dalvik Executable format | backward compatibility on Android via predicate surface "stillRequiredFor" ⓘ |
| KKT conditions | local optima under suitable constraint qualifications ⓘ |
| North Korean economy | food via predicate surface "mainImportNeeds" ⓘ |
| North Korean economy | fuel via predicate surface "mainImportNeeds" ⓘ |
| North Korean economy | machinery and industrial inputs via predicate surface "mainImportNeeds" ⓘ |
| Rite for Reconciliation of Individual Penitents | absolution via predicate surface "essentialElement" ⓘ |
| Rite for Reconciliation of Individual Penitents | act of contrition via predicate surface "essentialElement" ⓘ |
| Rite for Reconciliation of Individual Penitents | confession of sins via predicate surface "essentialElement" ⓘ |
| Rite for Reconciliation of Individual Penitents | satisfaction or penance via predicate surface "essentialElement" ⓘ |
| lateral magnocellular nucleus of the anterior nidopallium | maintenance of song variability in juveniles via predicate surface "necessaryFor" ⓘ |
| lateral magnocellular nucleus of the anterior nidopallium | normal juvenile song learning via predicate surface "necessaryFor" ⓘ |
|
lateral magnocellular nucleus of the anterior nidopallium (LMAN)
surface form:
lateral magnocellular nucleus of the anterior nidopallium
|
normal song learning in juvenile songbirds via predicate surface "necessaryFor" ⓘ |