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 |
|---|---|
| Luttinger liquid theory | long-wavelength limit via predicate surface "validRegime" ⓘ |
| Lusser's law | components fail independently via predicate surface "validUnderCondition" ⓘ |
| Lusser's law | no common-cause failures dominate via predicate surface "validUnderCondition" ⓘ |
| Lusser's law | system fails if any single component fails via predicate surface "validUnderCondition" ⓘ |
| Saha ionization equation | thermal equilibrium via predicate surface "validUnderCondition" ⓘ |
| Saha ionization equation | non-degenerate gas via predicate surface "validUnderCondition" ⓘ |
| Saha ionization equation | weakly coupled plasma via predicate surface "validUnderCondition" ⓘ |
| Parker spiral model of the interplanetary magnetic field | supersonic solar wind region ⓘ |
| Epic College Pass | winter ski season via predicate surface "validDuring" ⓘ |
| Dulong–Petit law | high temperatures via predicate surface "validAt" ⓘ |
| Epic 4-Day Pass | participating Vail Resorts–owned mountains via predicate surface "validAt" ⓘ |
| Epic 4-Day Pass | only during the specific season purchased via predicate surface "validity" ⓘ |
| Epic 7-Day Pass | one winter season via predicate surface "validWithin" ⓘ |
| Clausius statement of the second law of thermodynamics | classical thermodynamics ⓘ |
| Kolmogorov spectrum of turbulence | inertial subrange of turbulent scales ⓘ |
| Kolmogorov spectrum of turbulence | energy-containing range via predicate surface "notValidIn" ⓘ |
| Kolmogorov spectrum of turbulence | dissipation range via predicate surface "notValidIn" ⓘ |
| Rejsekort |
Copenhagen metropolitan area
ⓘ
surface form:
Greater Copenhagen
|
| Rejsekort |
island of Zealand
ⓘ
surface form:
Zealand
|
| Rejsekort | Funen ⓘ |
| Rejsekort | Jutland ⓘ |
| Nol Silver Card | long-term reusable card via predicate surface "validity" ⓘ |
| CEP | time-limited via predicate surface "validity" ⓘ |
| Certificates of Suitability to the monographs of the European Pharmacopoeia | limited period subject to renewal via predicate surface "validity" ⓘ |
| Maryland driver’s license |
Maryland
ⓘ
surface form:
State of Maryland
|
| Larmor formula | inertial reference frame ⓘ |
| Virgin Points | United Kingdom NERFINISHED ⓘ |
| Virgin Points | selected international markets ⓘ |
| De Morgan's laws | finite Boolean algebras ⓘ |
| De Morgan's laws | infinite Boolean algebras ⓘ |
|
DBS certificates
surface form:
DBS certificate
|
no fixed statutory expiry date via predicate surface "validity" ⓘ |
|
international driving permit
surface form:
International Driving Permit
|
country of issuance for domestic driving via predicate surface "notValidIn" ⓘ |
| DELE examinations | does not expire via predicate surface "validity" ⓘ |
| SwissPass | Swiss Federal Railways NERFINISHED ⓘ |
| SwissPass | regional rail operators in Switzerland ⓘ |
| SwissPass | Swiss urban public transport networks ⓘ |
| SwissPass | many Swiss bus operators ⓘ |
| SwissPass | many Swiss mountain railways and cable cars ⓘ |
| Norwegian national identity card | Norway NERFINISHED ⓘ |
| Norwegian national identity card | Schengen Area NERFINISHED ⓘ |
| Norwegian national identity card | European Economic Area NERFINISHED ⓘ |
| Ertel potential vorticity theorem | hydrostatic approximation in large-scale flows via predicate surface "validUnder" ⓘ |
| One Country Pass | Europe NERFINISHED ⓘ |
| Charney–Eliassen model | large-scale slowly varying flow conditions via predicate surface "validUnder" ⓘ |
| Vote on Account (India) | temporary via predicate surface "validity" ⓘ |
| Euclid's postulates | general curved spaces via predicate surface "notValidIn" ⓘ |
| Wuhan Tong card | Wuhan Metro NERFINISHED ⓘ |
| Wuhan Tong card | Wuhan city buses ⓘ |
| Wuhan Tong card | some suburban bus routes in Wuhan ⓘ |
| heterotic supergravity | energies small compared to string scale via predicate surface "validAt" ⓘ |