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 |
|---|---|
| Warszawska Karta Miejska | Warsaw urban rapid rail (SKM) (when encoded with valid ticket) via predicate surface "validOn" ⓘ |
| Warszawska Karta Miejska | Warsaw agglomeration bus lines via predicate surface "validOn" ⓘ |
| Brussels Airlines Miles & More Senator | Brussels Airlines flights via predicate surface "validOn" ⓘ |
| Brussels Airlines Miles & More Senator | Star Alliance member airline flights via predicate surface "validOn" ⓘ |
| EgyptAir Plus Gold |
EgyptAir
via predicate surface "validOn"
ⓘ
surface form:
EgyptAir flights
|
| EgyptAir Plus Gold | Star Alliance member flights via predicate surface "validOn" ⓘ |
| Adria Airways Miles & More Senator | Star Alliance member airlines via predicate surface "validOn" ⓘ |
| Adria Airways Miles & More Senator | Adria Airways via predicate surface "validOn" ⓘ |
| Grothendieck topology | category ⓘ |
| Kähler–Ricci flow | Kähler manifold ⓘ |
| Part E – Exemptions | an international convention adopted by the International Maritime Organization via predicate surface "isDefinedIn" ⓘ |
| TCA | ISO 3166-1 standard via predicate surface "isDefinedIn" ⓘ |
| FDIC insurance limit | Federal Deposit Insurance Act via predicate surface "isDefinedIn" ⓘ |
| Henstock–Kurzweil integral | bounded intervals of the real line via predicate surface "isDefinedOn" ⓘ |
| Weyl fractional integral | real-valued functions ⓘ |
| Weyl fractional integral | complex-valued functions ⓘ |
|
Markov random fields
surface form:
Markov random field
|
lattice structures via predicate surface "oftenDefinedOn" ⓘ |
| Markov semigroup | space of probability measures ⓘ |
| Markov semigroup | space of bounded measurable functions ⓘ |
| Markov semigroup | L^p spaces ⓘ |
|
Dedekind zeta functions
surface form:
Dedekind zeta function
|
algebraic number field ⓘ |
| Clebsch–Gordan coefficients | pairs of angular momentum quantum numbers j1 and j2 via predicate surface "definedFor" ⓘ |
| Clebsch–Gordan coefficients | magnetic quantum numbers m1 and m2 via predicate surface "definedFor" ⓘ |
| Clebsch–Gordan coefficients | resultant angular momentum quantum number J via predicate surface "definedFor" ⓘ |
| Clebsch–Gordan coefficients | resultant magnetic quantum number M via predicate surface "definedFor" ⓘ |
|
Clebsch diagonal surfaces
surface form:
Clebsch diagonal surface
|
real numbers via predicate surface "definedOver" ⓘ |
|
Clebsch diagonal surfaces
surface form:
Clebsch diagonal surface
|
complex numbers via predicate surface "definedOver" ⓘ |
| Potts model | lattice ⓘ |
| Potts model | graph ⓘ |
| Dehn twist | simple closed curve that is two-sided ⓘ |
| Dehn twist | embedded annulus around the curve ⓘ |
| Dehn invariant | edges of a polyhedron ⓘ |
| Milnor number | germ of a holomorphic function f:(ℂ^n,0)→(ℂ,0) via predicate surface "isDefinedFor" ⓘ |
| iWARP | transport layer via predicate surface "isDefinedAt" ⓘ |
| iWARP | upper layers above TCP via predicate surface "isDefinedAt" ⓘ |
| Gelfand–Tsetlin basis | finite-dimensional irreducible representations of GL(n,ℂ) via predicate surface "definedFor" ⓘ |
| Gelfand–Tsetlin basis | finite-dimensional irreducible representations of gl(n,ℂ) via predicate surface "definedFor" ⓘ |
| Gelfand–Tsetlin basis | highest weight representations via predicate surface "definedFor" ⓘ |
| Integrated Public Transport Card of Mexico City | officially integrated public transport services of Mexico City via predicate surface "validOn" ⓘ |
| EcoPass | RTD local services via predicate surface "validOn" ⓘ |
| EcoPass | RTD regional services via predicate surface "validOn" ⓘ |
| EcoPass | RTD rail services via predicate surface "validOn" ⓘ |
| Lambert azimuthal equal-area projection | sphere via predicate surface "canBeDefinedOn" ⓘ |
| Lambert azimuthal equal-area projection | ellipsoid via predicate surface "canBeDefinedOn" ⓘ |
| Fitting subgroup | finite group via predicate surface "definedFor" ⓘ |
| Fitting subgroup | arbitrary group via predicate surface "definedFor" ⓘ |
| Fitting ideal | commutative ring via predicate surface "definedOver" ⓘ |
| Fitting series | finite groups ⓘ |
| Feynman propagator | free quantum fields via predicate surface "definedFor" ⓘ |
| Feynman propagator | interacting quantum fields (as building blocks in perturbation theory) via predicate surface "definedFor" ⓘ |