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 |
|---|---|
| Holozoa | evolution of animal adhesion mechanisms ⓘ |
| Hammett sigma constants | reaction rate constants via predicate surface "usedToEstimate" ⓘ |
| Hammett sigma constants | equilibrium constants via predicate surface "usedToEstimate" ⓘ |
| HL7 v3 Reference Information Model | HL7 v3 message information models via predicate surface "usedToDerive" NERFINISHED ⓘ |
| HL7 v3 Reference Information Model | HL7 v3 hierarchical message descriptions via predicate surface "usedToDerive" NERFINISHED ⓘ |
| HL7 v3 Reference Information Model | HL7 v3 Refined Message Information Models via predicate surface "usedToDerive" NERFINISHED ⓘ |
| Southern Cross region | directionOfSouthCelestialPole via predicate surface "usedToDetermine" ⓘ |
| Algorithm J | types of expressions via predicate surface "infers" ⓘ |
| Algorithm J | types of polymorphic functions via predicate surface "infers" ⓘ |
| V_cb | strength of b → c weak transitions via predicate surface "usedToDetermine" ⓘ |
| Navarro–Frenk–White profile | circular velocity profiles via predicate surface "usedToDerive" ⓘ |
| Navarro–Frenk–White profile | projected surface density profiles via predicate surface "usedToDerive" ⓘ |
| Shephard’s lemma | factor demand elasticities from cost functions via predicate surface "usedToDerive" ⓘ |
| Shephard’s lemma | compensated price elasticities from expenditure functions via predicate surface "usedToDerive" ⓘ |
| Combined Nomenclature | applicable customs duty rate via predicate surface "usedToDetermine" ⓘ |
| Combined Nomenclature | applicable agricultural levies via predicate surface "usedToDetermine" ⓘ |
| Combined Nomenclature | applicable anti-dumping duties via predicate surface "usedToDetermine" ⓘ |
| Combined Nomenclature | applicable tariff quotas via predicate surface "usedToDetermine" ⓘ |
| Combined Nomenclature | applicable tariff suspensions via predicate surface "usedToDetermine" ⓘ |
| RISE radio science experiment | size of Mars core via predicate surface "infers" ⓘ |
| RISE radio science experiment | state of Mars core via predicate surface "infers" ⓘ |
| RISE radio science experiment | density distribution inside Mars via predicate surface "infers" ⓘ |
| Bombe | Enigma daily key settings via predicate surface "usedToDetermine" NERFINISHED ⓘ |
| Bombe | Enigma rotor order via predicate surface "usedToDetermine" ⓘ |
| Bombe | Enigma rotor positions via predicate surface "usedToDetermine" ⓘ |
| Bombe | Enigma plugboard connections via predicate surface "usedToDetermine" ⓘ |
| Fritz John conditions | KKT conditions under additional assumptions via predicate surface "usedToDerive" ⓘ |
| Fisher zeros | critical temperature via predicate surface "usedToDetermine" ⓘ |
| Fisher zeros | critical exponents via predicate surface "usedToDetermine" ⓘ |
| Fisher zeros | universality class via predicate surface "usedToDetermine" ⓘ |
| van der Waals radius | molecular size via predicate surface "usedToEstimate" ⓘ |
| van der Waals radius | packing density via predicate surface "usedToEstimate" ⓘ |
| van der Waals radius | excluded volume via predicate surface "usedToEstimate" ⓘ |
| van der Waals radius | steric clashes in molecular structures via predicate surface "usedToEstimate" ⓘ |
| Helmholtz free energy | equations of state via predicate surface "usedToDerive" ⓘ |
| Helmholtz free energy | response functions such as heat capacities via predicate surface "usedToDerive" ⓘ |
| Helmholtz free energy | compressibility via predicate surface "usedToDerive" ⓘ |
| Helmholtz free energy | thermal expansion coefficient via predicate surface "usedToDerive" ⓘ |