definedOn
P4464
predicate
Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.
All labels observed (29)
| Label | Occurrences |
|---|---|
| definedOn canonical | 327 |
| validOn | 239 |
| definedOver | 166 |
| definedFor | 123 |
| isDefinedIn | 82 |
| isDefinedFor | 37 |
| definesFor | 33 |
| isDefinedOver | 18 |
| declaredOn | 8 |
| domainRestriction | 8 |
| isDefinedOn | 8 |
| domainOfDefinition | 6 |
| areDefinedOver | 5 |
| domainOfValidity | 5 |
| isDefinedAt | 4 |
| parameterDomain | 3 |
| typicallyDefinedOver | 3 |
| canBeDefinedOn | 2 |
| constraintOnVariables | 2 |
| definedOnInterval | 2 |
| definedOnGeoid | 1 |
| definedOnInterface | 1 |
| definedOnSigmaAlgebra | 1 |
| definesFunctionOn | 1 |
| definesOn | 1 |
| definitionDomain | 1 |
| domainOfIntegration | 1 |
| mathematicallyDefinedOn | 1 |
| oftenDefinedOn | 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: definedOn
Generated description
Indicates that something (such as a function, rule, or structure) is specified to apply or be valid over a particular domain, set, or context.
Sample triples (1,090)
| Subject | Object |
|---|---|
| China Eastern Eastern Miles Platinum | China Eastern marketed flights via predicate surface "validOn" ⓘ |
| China Eastern Eastern Miles Platinum | China Eastern operated flights via predicate surface "validOn" ⓘ |
| Czech Airlines OK Plus Platinum | Czech Airlines flights via predicate surface "validOn" ⓘ |
| Czech Airlines OK Plus Platinum | participating SkyTeam member flights via predicate surface "validOn" ⓘ |
| Weingarten map | regular surfaces in Euclidean space via predicate surface "definedFor" ⓘ |
| Weingarten map | hypersurfaces in Riemannian manifolds via predicate surface "definedFor" ⓘ |
| Air France Flying Blue Gold | international flights via predicate surface "validOn" ⓘ |
| Air France Flying Blue Gold | domestic flights operated by Air France or KLM via predicate surface "validOn" ⓘ |
| Aeromexico Club Premier Platinum | Aeromexico-operated flights via predicate surface "validOn" ⓘ |
| Aeromexico Club Premier Platinum | SkyTeam member airline flights via predicate surface "validOn" ⓘ |
| Moore neighborhood | square grid ⓘ |
| Co1 | integers via predicate surface "definedOver" ⓘ |
| Co2 | integers via predicate surface "definedOver" ⓘ |
| Farey tessellation | hyperbolic plane ⓘ |
| Co3 | integers via predicate surface "isDefinedOver" ⓘ |
| MixColumns | finite field GF(2^8) via predicate surface "definedOver" ⓘ |
| Legendre symbol | odd prime moduli via predicate surface "definedFor" ⓘ |
| HOMFLY-PT polynomial | oriented links via predicate surface "definedFor" ⓘ |
| Companion Pass | Southwest Airlines-operated flights via predicate surface "validOn" ⓘ |
| NP-completeness | decision problems via predicate surface "definedOver" ⓘ |
| Kolmogorov distance | cumulative distribution functions ⓘ |
| Kolmogorov distance | probability distributions on the real line ⓘ |
| Kolmogorov distance | distributions with cumulative distribution functions via predicate surface "domainRestriction" ⓘ |
| Lyapunov exponents | each principal direction in tangent space via predicate surface "definedFor" ⓘ |
| Jacobi symbol | pair of integers (a,n) ⓘ |
| Jacobi bracket | space of smooth functions on a Jacobi manifold ⓘ |
| Kolmogorov complexity | finite strings via predicate surface "definedOver" ⓘ |
| Kolmogorov complexity | finite binary strings via predicate surface "definedOver" ⓘ |
| RSET |
POP3
via predicate surface "definedFor"
ⓘ
surface form:
Post Office Protocol version 3
|
| ElGamal | multiplicative group of a finite field via predicate surface "typicallyDefinedOver" ⓘ |
| ElGamal | multiplicative group of integers modulo a prime via predicate surface "typicallyDefinedOver" ⓘ |
| ElGamal | elliptic curve groups via predicate surface "typicallyDefinedOver" ⓘ |
| NC |
ISO 3166-1
via predicate surface "isDefinedIn"
ⓘ
surface form:
ISO 3166-1 standard
|
| RFC 5702 | DNS resource records via predicate surface "definesFor" ⓘ |
| Hasse–Weil zeta function | algebraic varieties over number fields via predicate surface "definedFor" ⓘ |
| Hasse–Weil zeta function | algebraic varieties over global fields via predicate surface "definedFor" ⓘ |
| DNS over DTLS | IETF draft documents via predicate surface "isDefinedIn" ⓘ |
| Deputy Prime Minister of Hungary | laws of Hungary via predicate surface "isDefinedIn" ⓘ |
| Castelnuovo–Mumford regularity | finitely generated graded modules via predicate surface "definedFor" ⓘ |
| Castelnuovo–Mumford regularity | coherent sheaves on projective schemes via predicate surface "definedFor" ⓘ |
| Speaker of the Riksdag |
Riksdag Act of 1866
via predicate surface "isDefinedIn"
ⓘ
surface form:
Riksdag Act (Sweden)
|
| English in Uganda | mainly formal domains via predicate surface "domainRestriction" ⓘ |
| CBC-DES | SNMP privacy via predicate surface "definedFor" ⓘ |
| Hardy Z-function | real line ⓘ |
| Cauchy distribution | real line ⓘ |
| Cauchy stress tensor | material point ⓘ |
| Cauchy stress tensor | current configuration of a body ⓘ |
| Cauchy matrix | real numbers via predicate surface "definedOver" ⓘ |
| Cauchy matrix | complex numbers via predicate surface "definedOver" ⓘ |
| United Kingdom declaration of war on Germany (1939) | Nazi Germany via predicate surface "declaredOn" ⓘ |