enablesDefinitionOf
P74557
predicate
Indicates that one entity provides the necessary basis or conditions for another entity to be defined or specified.
Observed surface forms (3)
- helpDefine ×4
- allowsDefinitionOf ×3
- usesDefinitionOf ×1
Sample triples (9)
| Subject | Object |
|---|---|
| Conway chained arrow notation | numbers larger than those expressible by Knuth up-arrows of fixed height ⓘ |
| IETF participants | Internet architecture via predicate surface "helpDefine" ⓘ |
| IETF participants | Internet operational practices via predicate surface "helpDefine" ⓘ |
| IETF participants | routing protocols via predicate surface "helpDefine" ⓘ |
| IETF participants | transport protocols via predicate surface "helpDefine" ⓘ |
| Revised Pay As You Earn | discretionary income as income above 150 percent of the federal poverty guideline via predicate surface "usesDefinitionOf" ⓘ |
| arithmetization of syntax | Prov_T(x) as a provability predicate for a theory T via predicate surface "allowsDefinitionOf" ⓘ |
| arithmetization of syntax | formula(x) as an arithmetical predicate via predicate surface "allowsDefinitionOf" ⓘ |
| arithmetization of syntax | proof(x,y) as an arithmetical predicate via predicate surface "allowsDefinitionOf" ⓘ |