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 |
|---|---|
| FLRW cosmological models | age of the universe ⓘ |
| FLRW cosmological models | critical density of the universe ⓘ |
| FLRW cosmological models | cosmological distance–redshift relations ⓘ |
| Hebrew calendar | Passover date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Rosh Hashanah date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Yom Kippur date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Sukkot date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Hanukkah date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Purim date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Shavuot date via predicate surface "usedToDetermine" ⓘ |
| Hebrew calendar | Omer counting period via predicate surface "usedToDetermine" ⓘ |
| Pauling electronegativity scale | bond polarity via predicate surface "usedToEstimate" ⓘ |
| Pauling electronegativity scale | bond energy differences via predicate surface "usedToEstimate" ⓘ |
| law of universal gravitation | value of the gravitational constant G via predicate surface "usedToDetermine" ⓘ |
| Schwarzschild radius | size of black hole via predicate surface "usedToEstimate" ⓘ |
| Drell–Yan processes | electroweak parameters via predicate surface "usedToDetermine" ⓘ |
| Drell–Yan processes | W boson mass via predicate surface "usedToDetermine" ⓘ |
| Drell–Yan processes | Z boson properties via predicate surface "usedToDetermine" ⓘ |
| generalized binomial theorem | series for (1-z)^{-1} = Σ_{k=0}^{∞} z^k via predicate surface "usedToDerive" ⓘ |
| generalized binomial theorem | series for (1-z)^{-1/2} via predicate surface "usedToDerive" ⓘ |
| generalized binomial theorem | series for (1+z)^{1/2} via predicate surface "usedToDerive" ⓘ |
| Brillouin–Wigner perturbation theory | effective interactions in model spaces via predicate surface "usedToDerive" ⓘ |
| Gell-Mann–Nishijima formula | electric charge from quantum numbers via predicate surface "usedToDetermine" ⓘ |
| Gell-Mann–Nishijima formula | hypercharge from observed charges and isospin via predicate surface "usedToDetermine" ⓘ |
| Coptic calendar | date of Coptic Easter via predicate surface "usedToDetermine" ⓘ |
| Coptic calendar | Coptic Christmas via predicate surface "usedToDetermine" ⓘ |
| Young's modulus | deflection of beams via predicate surface "usedToDetermine" ⓘ |
| Young's modulus | axial elongation of bars via predicate surface "usedToDetermine" ⓘ |
| Eddington limit | upper limits on stellar masses ⓘ |
| Eddington limit | constraints on luminous accretors ⓘ |
| moment magnitude scale | tsunami potential from large earthquakes via predicate surface "usedToEstimate" ⓘ |
| Federal Medical Assistance Percentage | federal share of most Medicaid benefit payments via predicate surface "usedToDetermine" ⓘ |
| National Insurance record | number of qualifying years for State Pension via predicate surface "usedToDetermine" ⓘ |
| National Insurance record | eligibility for new State Pension via predicate surface "usedToDetermine" ⓘ |
| National Insurance record | eligibility for basic State Pension via predicate surface "usedToDetermine" ⓘ |
| National Insurance record | eligibility for contribution-based Jobseeker’s Allowance via predicate surface "usedToDetermine" ⓘ |
| National Insurance record | eligibility for contribution-based Employment and Support Allowance via predicate surface "usedToDetermine" ⓘ |
|
Cherenkov detector
linked to:
Cherenkov detectors
|
particle velocity from Cherenkov angle via predicate surface "infers" ⓘ |
|
Cherenkov detector
linked to:
Cherenkov detectors
|
particle mass from momentum and Cherenkov angle via predicate surface "infers" ⓘ |
| Narmer Macehead | commemoration of a royal event via predicate surface "hasInferredPurpose" ⓘ |
| Narmer Macehead | propaganda for royal power via predicate surface "hasInferredPurpose" ⓘ |
| Bernoulli trials | binomial probability mass function via predicate surface "usedToDerive" ⓘ |
| Bernoulli trials | distribution of sample proportion via predicate surface "usedToDerive" ⓘ |
| Avogadro's law | ideal gas law via predicate surface "usedToDerive" ⓘ |
| Gaussian surface | field of an infinite line charge via predicate surface "usedToDerive" ⓘ |
| Gaussian surface | field of an infinite charged plane via predicate surface "usedToDerive" ⓘ |
| Gaussian surface | field outside a uniformly charged sphere via predicate surface "usedToDerive" ⓘ |
| Coulomb's law | electric field of a point charge via predicate surface "usedToDerive" ⓘ |
| Coulomb's law | principle of superposition for electrostatic forces via predicate surface "usedToDerive" ⓘ |
| Galilean transformations | classical kinetic energy expressions via predicate surface "usedToDerive" ⓘ |