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 |
|---|---|
| Christoffel symbols | smooth manifold ⓘ |
| Travelcard | bus services in all London bus zones when any zones Travelcard is held via predicate surface "validOn" ⓘ |
| Ricci scalar |
Riemannian manifolds
ⓘ
surface form:
Riemannian manifold
|
| Ricci scalar | pseudo-Riemannian manifold ⓘ |
|
Itô processes
surface form:
Itô process
|
probability space ⓘ |
|
Itô processes
surface form:
Itô process
|
filtered probability space ⓘ |
| II (National Park) |
IUCN protected area categories I–VI
via predicate surface "isDefinedIn"
ⓘ
surface form:
IUCN Guidelines for Applying Protected Area Management Categories
|
| Euler product formula for the Riemann zeta function | complex numbers s with real part greater than 1 via predicate surface "domainOfValidity" ⓘ |
|
binding
surface form:
binding (linguistics)
|
syntactic structure via predicate surface "definedOver" ⓘ |
|
binding
surface form:
binding (linguistics)
|
c-command relations via predicate surface "definedOver" ⓘ |
|
binding
surface form:
binding (linguistics)
|
locality domains via predicate surface "definedOver" ⓘ |
| Fibonacci sequence | nonnegative integers via predicate surface "isDefinedOn" ⓘ |
| BY | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| standard YouTube license |
YouTube
via predicate surface "isDefinedIn"
ⓘ
surface form:
YouTube Terms of Service
|
| Poynting vector | classical electromagnetism via predicate surface "isDefinedIn" ⓘ |
| Poynting vector |
Maxwell's equations
via predicate surface "isDefinedIn"
ⓘ
surface form:
Maxwell theory
|
| FIN | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| Boyer–Lindquist coordinates | r > 0 via predicate surface "domainOfDefinition" ⓘ |
| Boyer–Lindquist coordinates | 0 ≤ θ ≤ π via predicate surface "domainOfDefinition" ⓘ |
| Boyer–Lindquist coordinates | 0 ≤ φ < 2π via predicate surface "domainOfDefinition" ⓘ |
| OPUS card |
STM bus network
via predicate surface "validOn"
ⓘ
surface form:
STM buses
|
| OPUS card | STM metro via predicate surface "validOn" ⓘ |
| OPUS card | RTL buses via predicate surface "validOn" ⓘ |
| OPUS card | STL buses via predicate surface "validOn" ⓘ |
| OPUS card |
exo commuter rail network
via predicate surface "validOn"
ⓘ
surface form:
exo commuter trains
|
| OPUS card | RTC buses via predicate surface "validOn" ⓘ |
| Mother of the Church | 1964-11-21 via predicate surface "declaredOn" ⓘ |
| President of Namibia | Chapter 5 of the Constitution of Namibia via predicate surface "isDefinedIn" ⓘ |
| oci |
ISO 639
via predicate surface "isDefinedIn"
ⓘ
surface form:
ISO 639-2 standard
|
| oci |
ISO 639
via predicate surface "isDefinedIn"
ⓘ
surface form:
ISO 639-3 standard
|
| Lebesgue spaces | measure space (X, Σ, μ) ⓘ |
| AND | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| Breeze Card |
Metropolitan Atlanta Rapid Transit Authority (MARTA)
via predicate surface "validOn"
ⓘ
surface form:
MARTA heavy rail
|
| Breeze Card |
MARTA Bus
via predicate surface "validOn"
ⓘ
surface form:
MARTA buses
|
| Breeze Card |
MARTA Streetcar
via predicate surface "validOn"
ⓘ
surface form:
Atlanta Streetcar
|
| Nol Red Ticket | Dubai Metro via predicate surface "validOn" ⓘ |
| Nol Red Ticket | Dubai public buses via predicate surface "validOn" ⓘ |
| Nol Red Ticket | Dubai Tram via predicate surface "validOn" ⓘ |
| Nol Red Ticket | selected RTA marine transport services via predicate surface "validOn" ⓘ |
| Nol Red Ticket | RTA public transport network in Dubai via predicate surface "validOn" ⓘ |
| Wigner distribution function | phase space ⓘ |
| Gödel metric | four-dimensional spacetime ⓘ |
| NE | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| UTF-7 | Unicode 1.1 via predicate surface "definedFor" ⓘ |
| Kronecker delta | pair of indices ⓘ |
| Virginia Standards of Learning | each grade level via predicate surface "definesFor" ⓘ |
| Virginia Standards of Learning | core subject areas via predicate surface "definesFor" ⓘ |
| Weierstrass function | real line ⓘ |
| TCD | ISO 3166 Maintenance Agency via predicate surface "isDefinedIn" ⓘ |
|
TT
surface form:
Terrestrial Time
|
uniform time scale for observations from Earth's surface via predicate surface "definedFor" ⓘ |