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 |
|---|---|
| Galilean transformations | form of Newton’s second law in different inertial frames via predicate surface "usedToDerive" ⓘ |
| Jacobi triple product | product expansions of theta functions via predicate surface "usedToDerive" ⓘ |
| Jacobi triple product | generating functions for integer partitions via predicate surface "usedToDerive" ⓘ |
| Jacobi triple product | identities in basic hypergeometric series via predicate surface "usedToDerive" ⓘ |
| Medallion Qualification Dollars | progress toward next Medallion tier via predicate surface "usedToDetermine" ⓘ |
| Medallion Qualification Segments | SkyMiles Medallion tier via predicate surface "usedToDetermine" ⓘ |
| Nambu–Goto action | string equations of motion in flat spacetime via predicate surface "usedToDerive" ⓘ |
| Nambu–Goto action | string equations of motion in curved backgrounds via predicate surface "usedToDerive" ⓘ |
| Landé g-factor | magnetic quantum number dependent energy shifts via predicate surface "usedToDetermine" ⓘ |
| Einasto density profile | total mass distribution from kinematics ⓘ |
| Einasto density profile | dark matter fraction in galaxies ⓘ |
| Shields parameter | critical shear stress for incipient motion via predicate surface "usedToDetermine" ⓘ |
| Thrifty Food Plan | SNAP benefit levels via predicate surface "usedToDetermine" ⓘ |
| Thrifty Food Plan | federal food assistance benefit levels via predicate surface "usedToDetermine" ⓘ |
| detailed balance principle | equilibrium relations between reaction rate constants via predicate surface "usedToDerive" ⓘ |
| detailed balance principle | Einstein relations in some transport processes via predicate surface "usedToDerive" ⓘ |
| Neanderthal genome | divergence time between Neanderthals and modern humans ⓘ |
| Neanderthal genome | population size history of Neanderthals ⓘ |
| Neanderthal genome | patterns of selection in human evolution ⓘ |
| balancing rocks | constraints on historical earthquake intensities via predicate surface "areUsedToInfer" ⓘ |
| dilogún | necessary offerings via predicate surface "usedToDetermine" ⓘ |
| dilogún | ritual prescriptions via predicate surface "usedToDetermine" ⓘ |
| Mathews balancing test | required procedural safeguards via predicate surface "usedToDetermine" ⓘ |
| Mathews balancing test | what process is due via predicate surface "usedToDetermine" ⓘ |
| Nanakshahi calendar | Gurpurab dates via predicate surface "usedToDetermine" ⓘ |
| Nanakshahi calendar | Vaisakhi date via predicate surface "usedToDetermine" ⓘ |
| Nanakshahi calendar | Martyrdom anniversaries of Sikh Gurus via predicate surface "usedToDetermine" ⓘ |
| Nanakshahi calendar |
Guru Nanak Gurpurab
via predicate surface "usedToDetermine"
ⓘ
surface form:
Parkash Gurpurab of Guru Nanak
|
| Nanakshahi calendar |
Vaisakhi
via predicate surface "usedToDetermine"
ⓘ
surface form:
Sikh New Year
|
| Eddington number | likelihood of strong stellar winds ⓘ |
| Eddington number | proximity of an object to its Eddington limit ⓘ |
| Ramanujan theta function | q-series transformation formulas via predicate surface "usedToDerive" ⓘ |
| Ramanujan theta function | theta-type identities via predicate surface "usedToDerive" ⓘ |
| Thai lunar calendar | Buddhist Lent dates via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | Visakha Bucha festival date via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | Makha Bucha festival date via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | Asalha Bucha festival date via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | Loy Krathong date via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | Uposatha observance days via predicate surface "usedToDetermine" ⓘ |
| Thai lunar calendar | ordination ceremony dates via predicate surface "usedToDetermine" ⓘ |
| Khmer lunar calendar | Khmer New Year date (Chaul Chnam Thmey) via predicate surface "usedToDetermine" ⓘ |
| Khmer lunar calendar | Pchum Ben festival date via predicate surface "usedToDetermine" ⓘ |
| Khmer lunar calendar | Visak Bochea date via predicate surface "usedToDetermine" ⓘ |
| Khmer lunar calendar | Kathen festival date via predicate surface "usedToDetermine" ⓘ |
| Sinhalese Buddhist calendar | Vesak festival date via predicate surface "usedToDetermine" ⓘ |
| Sinhalese Buddhist calendar | Poson festival date via predicate surface "usedToDetermine" ⓘ |
| Sinhalese Buddhist calendar | Esala Perahera timing via predicate surface "usedToDetermine" ⓘ |
| Sinhalese Buddhist calendar | Poya days via predicate surface "usedToDetermine" ⓘ |
| Karamata's inequality | Muirhead's inequality via predicate surface "usedToDerive" ⓘ |
| Karamata's inequality | inequalities between symmetric means via predicate surface "usedToDerive" ⓘ |