validIn
P9768
predicate
Indicates that a given entity, statement, or condition is applicable, correct, or legally/semantically acceptable within a specified context, scope, or domain.
All labels observed (16)
| Label | Occurrences |
|---|---|
| validIn canonical | 61 |
| validity | 15 |
| validUnderCondition | 13 |
| validAt | 8 |
| validRegime | 7 |
| validWithin | 7 |
| validOver | 6 |
| validUnder | 5 |
| notValidIn | 4 |
| isValidInLimit | 2 |
| parameterAllowedValue | 2 |
| isValidAs | 1 |
| isValidIn | 1 |
| validDuring | 1 |
| validNear | 1 |
| validWith | 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: validIn
Generated description
Indicates that a given entity, statement, or condition is applicable, correct, or legally/semantically acceptable within a specified context, scope, or domain.
Sample triples (135)
| Subject | Object |
|---|---|
| Maxwell's equations | non-relativistic classical limit ⓘ |
|
Consular Report of Birth Abroad (for certain citizens born abroad)
surface form:
Consular Report of Birth Abroad
|
does not expire via predicate surface "validity" ⓘ |
| Ginzburg–Landau theory of superconductivity | critical temperature via predicate surface "validNear" ⓘ |
| multinomial theorem | real numbers via predicate surface "validOver" ⓘ |
| multinomial theorem | complex numbers via predicate surface "validOver" ⓘ |
| multinomial theorem | any commutative ring with identity via predicate surface "validOver" ⓘ |
| Rayleigh–Jeans law at low frequencies | hν ≪ kT via predicate surface "isValidInLimit" ⓘ |
| Rayleigh–Jeans law at low frequencies | λ ≫ hc∕kT via predicate surface "isValidInLimit" ⓘ |
| Gauss's law for magnetism | special relativity ⓘ |
| Faraday's law of induction | non-relativistic regimes ⓘ |
| Newton's first law of motion | non-relativistic speeds via predicate surface "validUnderCondition" ⓘ |
| Newton's first law of motion | weak gravitational fields compared to general relativity scales via predicate surface "validUnderCondition" ⓘ |
| Ampère–Maxwell law | classical electromagnetism ⓘ |
| Israel–Carter–Robinson uniqueness theorems | classical general relativity ⓘ |
| Fermi liquid theory | low temperatures via predicate surface "validRegime" ⓘ |
| Fermi liquid theory | energies near the Fermi level via predicate surface "validRegime" ⓘ |
| Lorentz force | inertial reference frames ⓘ |
|
Certificates of Suitability (CEP)
surface form:
Certificates of Suitability
|
time-limited and subject to renewal via predicate surface "validity" ⓘ |
| Fermi theory of beta decay | energies much lower than W boson mass via predicate surface "validAt" ⓘ |
| ColumnTransformer | remainder='drop' via predicate surface "parameterAllowedValue" ⓘ |
| ColumnTransformer | remainder='passthrough' via predicate surface "parameterAllowedValue" ⓘ |
| Lemaître–Hubble law | large cosmological scales via predicate surface "validRegime" ⓘ |
| Lemaître–Hubble law | homogeneous and isotropic universe approximation via predicate surface "validRegime" ⓘ |
| Salam–Weinberg model | energies below the electroweak scale via predicate surface "validAt" ⓘ |
| LEED professional credentials | time-limited and must be renewed via predicate surface "validity" ⓘ |
| CharmCard |
Baltimore–Washington metropolitan area
ⓘ
surface form:
Baltimore metropolitan area
|
| Hooke's law | elastic limit via predicate surface "validWithin" ⓘ |
| FRF11 | European Union ⓘ |
| FRF11 | France ⓘ |
|
InterRail pass (as participating operator)
surface form:
InterRail Pass
|
multiple European countries ⓘ |
| Individual Taxpayer Identification Number | does not expire if used on a tax return at least once in three consecutive tax years (policy subject to change) via predicate surface "validity" ⓘ |
| Schwinger–Dyson equations | Euclidean space formulation ⓘ |
| Schwinger–Dyson equations |
Minkowski space-time
ⓘ
surface form:
Minkowski space formulation
|
| Peierls substitution | tight-binding approximation ⓘ |
| Peierls substitution | non-relativistic quantum mechanics ⓘ |
| Newton's third law of motion | non-relativistic regime ⓘ |
| Avogadro's law | constant temperature via predicate surface "validUnderCondition" ⓘ |
| Avogadro's law | constant pressure via predicate surface "validUnderCondition" ⓘ |
| NHS Dental Exemption Certificates | England via predicate surface "validWithin" ⓘ |
| NHS Dental Exemption Certificates | Wales via predicate surface "validWithin" ⓘ |
| NHS Dental Exemption Certificates | Scotland via predicate surface "validWithin" ⓘ |
| NHS Dental Exemption Certificates | Northern Ireland via predicate surface "validWithin" ⓘ |
| Galilean transformations | non-relativistic limit ⓘ |
| Edgeworth expansion | asymptotic approximation as sample size tends to infinity via predicate surface "isValidAs" ⓘ |
| Jacobi integral | synodic (rotating) coordinate system ⓘ |
| Nernst equation | any absolute temperature via predicate surface "validAt" ⓘ |
| third law of thermodynamics | temperatures approaching 0 K via predicate surface "validAt" ⓘ |
| Cauchy interlacing theorem | real numbers via predicate surface "validOver" ⓘ |
| Cauchy interlacing theorem | complex numbers for Hermitian matrices via predicate surface "validOver" ⓘ |
| Luttinger liquid theory | low temperatures via predicate surface "validRegime" ⓘ |