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 |
|---|---|
| Weyl quantization | cotangent bundle of configuration space ⓘ |
| Klein–Gordon equation |
Minkowski space-time
ⓘ
surface form:
Minkowski spacetime
|
| Dirac matrices | complex numbers via predicate surface "definedOver" ⓘ |
| Dirac Lagrangian |
Minkowski space-time
ⓘ
surface form:
Minkowski spacetime
|
| Dirac field |
Minkowski space-time
via predicate surface "isDefinedOn"
ⓘ
surface form:
Minkowski spacetime
|
| TWN |
ISO 3166-1
via predicate surface "isDefinedIn"
ⓘ
surface form:
ISO 3166-1 standard
|
| Media Independent Information Service |
IEEE 802.21
via predicate surface "isDefinedIn"
ⓘ
surface form:
IEEE 802.21 standard
|
| Euclidean metric | Euclidean space ⓘ |
| Euclidean metric | Rn ⓘ |
| Carathéodory metric | complex domain ⓘ |
| Carathéodory metric |
Riemann surfaces
ⓘ
surface form:
Riemann surface
|
| Carathéodory metric | complex manifold ⓘ |
| Dirac spinors | complex numbers via predicate surface "definedOver" ⓘ |
|
InterRail pass (as participating operator)
surface form:
InterRail Pass
|
participating railway operators via predicate surface "validOn" ⓘ |
|
InterRail pass (as participating operator)
surface form:
InterRail Pass
|
national rail networks in Europe via predicate surface "validOn" ⓘ |
|
InterRail pass (as participating operator)
surface form:
InterRail Pass
|
some private rail operators in Europe via predicate surface "validOn" ⓘ |
| ISO 10589 | Connectionless-mode Network Service via predicate surface "definesFor" ⓘ |
| ISO 10589 |
OSI protocol suite
via predicate surface "definesFor"
ⓘ
surface form:
OSI networking
|
|
Cartan connections
surface form:
Cartan connection
|
principal G-bundle ⓘ |
| CIE standard illuminant D65 | CIE Publication 15 via predicate surface "isDefinedIn" ⓘ |
| CIE standard illuminant D65 |
CIE Publication 15
via predicate surface "isDefinedIn"
ⓘ
surface form:
CIE 15:2004
|
| National Science Day in India | 1986 via predicate surface "declaredOn" ⓘ |
| Kähler form | Kähler manifold ⓘ |
| Berlin ABC | most local and regional public transport services in the covered area via predicate surface "validOn" ⓘ |
| Lie ring | integers via predicate surface "isDefinedOver" ⓘ |
| Lie pseudogroup | smooth manifold ⓘ |
| Lie subgroup | Lie group ⓘ |
| Lie bracket | vector space over a field ⓘ |
| RFC 6052 | stateless IP/ICMP translation via predicate surface "definesFor" ⓘ |
| RFC 6052 | stateful NAT64 translation via predicate surface "definesFor" ⓘ |
| Pochhammer symbol | complex parameter a via predicate surface "definedFor" ⓘ |
| Pochhammer symbol | nonnegative integer n via predicate surface "definedFor" ⓘ |
| Gamma function | complex numbers except non-positive integers ⓘ |
| Antarctic Specially Managed Areas |
Annex V to the Protocol on Environmental Protection
via predicate surface "isDefinedIn"
ⓘ
surface form:
Annex V to the Protocol on Environmental Protection to the Antarctic Treaty
|
| TON | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| Artinian module | ring via predicate surface "definedOver" ⓘ |
| Zariski topology | spectrum of a ring ⓘ |
| Zariski topology | algebraic variety ⓘ |
| Laity in the Church |
Catholic Church worldwide
via predicate surface "isDefinedIn"
ⓘ
surface form:
Catholic Church
|
| Laity in the Church |
Orthodox churches
via predicate surface "isDefinedIn"
ⓘ
surface form:
Orthodox Church
|
| Laity in the Church | many Protestant churches via predicate surface "isDefinedIn" ⓘ |
| Hahn series | ordered abelian group via predicate surface "definedOver" ⓘ |
|
CDP
surface form:
Census-designated place
|
data tabulation via predicate surface "isDefinedFor" ⓘ |
|
CDP
surface form:
Census-designated place
|
population statistics via predicate surface "isDefinedFor" ⓘ |
|
CDP
surface form:
Census-designated place
|
housing statistics via predicate surface "isDefinedFor" ⓘ |
|
CDP
surface form:
Census-designated place
|
economic statistics via predicate surface "isDefinedFor" ⓘ |
| Rydberg constant | infinitely heavy nucleus limit via predicate surface "definedFor" ⓘ |
| Noether charge | continuous symmetry transformation via predicate surface "definedFor" ⓘ |
| Conway chained arrow notation | usually defined for positive integers via predicate surface "domainRestriction" ⓘ |
| Hamiltonian (time translation generator) | domain dense in Hilbert space via predicate surface "isDefinedOn" ⓘ |