usedToInfer
P4466
predicate
Indicates that one entity serves as a basis or source from which another entity is logically derived or concluded.
All labels observed (9)
| Label | Occurrences |
|---|---|
| usedToDetermine | 90 |
| usedToDerive | 48 |
| usedToInfer canonical | 20 |
| usedToEstimate | 15 |
| infers | 9 |
| hasInferredPurpose | 2 |
| inferred | 2 |
| areUsedToInfer | 1 |
| hasPlaceInferredFrom | 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: usedToInfer
Generated description
Indicates that one entity serves as a basis or source from which another entity is logically derived or concluded.
Sample triples (188)
| Subject | Object |
|---|---|
|
’t Hooft–Veltman gauge
surface form:
't Hooft–Veltman gauge
|
Feynman rules for gauge bosons via predicate surface "usedToDerive" ⓘ |
|
’t Hooft–Veltman gauge
surface form:
't Hooft–Veltman gauge
|
Feynman rules for ghost fields via predicate surface "usedToDerive" ⓘ |
| Curie constant | effective magnetic moment via predicate surface "usedToDetermine" ⓘ |
| Active Service | eligibility for certain benefits via predicate surface "usedToDetermine" ⓘ |
| Active Service | pension calculations via predicate surface "usedToDetermine" ⓘ |
| Active Service | seniority via predicate surface "usedToDetermine" ⓘ |
| Neumann boundary conditions in potential theory | normal component of gradient on boundary via predicate surface "usedToDetermine" ⓘ |
| Population II | chemical evolution of galaxies ⓘ |
| Population II | age of the Milky Way ⓘ |
| stellar parallax of 61 Cygni | distance to 61 Cygni via predicate surface "usedToDetermine" ⓘ |
| Zames–Falb multipliers | sufficient conditions for stability via predicate surface "usedToDerive" ⓘ |
| BLAST | functional relationships via predicate surface "infers" ⓘ |
| BLAST | evolutionary relationships via predicate surface "infers" ⓘ |
| Pochinok, Smolensk Governorate, Russian Empire | birthplace of El Lissitzky via predicate surface "hasPlaceInferredFrom" ⓘ |
| John Martyn Harlow | relationship between frontal lobes and personality via predicate surface "inferred" ⓘ |
| Green's theorem | area formulas using line integrals via predicate surface "usedToDerive" ⓘ |
| Biot–Savart law | magnetic field of a long straight wire via predicate surface "usedToDerive" ⓘ |
| Biot–Savart law | magnetic field of a circular current loop via predicate surface "usedToDerive" ⓘ |
| Biot–Savart law | magnetic field of a solenoid via predicate surface "usedToDerive" ⓘ |
| Biot–Savart law | magnetic field of a current-carrying arc via predicate surface "usedToDerive" ⓘ |
| Biot–Savart law | magnetic field of arbitrary current distributions via predicate surface "usedToDerive" ⓘ |
| Malayalam calendar | Onam date via predicate surface "usedToDetermine" ⓘ |
| Malayalam calendar | Vishu date via predicate surface "usedToDetermine" ⓘ |
| Malayalam calendar | Temple festival dates in Kerala via predicate surface "usedToDetermine" ⓘ |
| United States Census Bureau definition of independent cities | geographic summary levels for data tabulation via predicate surface "usedToDetermine" ⓘ |
| United States Census Bureau definition of independent cities | county-equivalent boundaries for mapping via predicate surface "usedToDetermine" ⓘ |
|
Taylor microscale in turbulence
surface form:
Taylor microscale
|
turbulence Reynolds number via predicate surface "usedToEstimate" ⓘ |
|
Taylor microscale in turbulence
surface form:
Taylor microscale
|
dissipation rate from velocity gradients via predicate surface "usedToEstimate" ⓘ |
| Bangabda | timing of Bengali harvests via predicate surface "usedToDetermine" ⓘ |
| Bangabda | dates of Bengali New Year celebrations via predicate surface "usedToDetermine" ⓘ |
| Paul W. Merrill | ongoing nucleosynthesis in stars from technetium detection via predicate surface "inferred" ⓘ |
| Randles–Ševčík equation | electrode area from calibration measurements via predicate surface "usedToEstimate" ⓘ |
| Stoneley waves | formation permeability from borehole data ⓘ |
| Stoneley waves | fracture presence and properties ⓘ |
| Stoneley waves | fluid mobility near boreholes ⓘ |
| Lyapunov dimension | fractal dimension of attractors via predicate surface "usedToEstimate" ⓘ |
| Lyapunov dimension | attractor embedding dimension requirements via predicate surface "usedToEstimate" ⓘ |
| Euler’s identity for sine product | identities involving \zeta(2n) via predicate surface "usedToDerive" ⓘ |
| Euler’s identity for sine product | relations between trigonometric and zeta values via predicate surface "usedToDerive" ⓘ |
| Mooney viscometer | minimum viscosity of rubber compound via predicate surface "usedToDetermine" ⓘ |
| Mooney viscometer | viscosity rise due to vulcanization onset via predicate surface "usedToDetermine" ⓘ |
| Mooney viscometer | pre-vulcanization characteristics via predicate surface "usedToDetermine" ⓘ |
| MQDs | traveler’s progress toward Medallion status via predicate surface "usedToDetermine" ⓘ |
| Polyakov loop | critical temperature of deconfinement in pure gauge theories via predicate surface "usedToDetermine" ⓘ |
| Cassini radar altimetry | absolute elevations of Titan’s seas relative to geoid via predicate surface "usedToDetermine" ⓘ |
| Cassini radar altimetry | shoreline elevations of Titan’s lakes via predicate surface "usedToDetermine" ⓘ |
| Cassini radar altimetry | slopes of Titan’s channels via predicate surface "usedToDetermine" ⓘ |
| Cassini radar altimetry | Titan polar topographic asymmetries via predicate surface "usedToDetermine" ⓘ |
| Holozoa | origin of animal cell types ⓘ |
| Holozoa | evolution of animal signaling pathways ⓘ |