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 |
|---|---|
| POL | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| SkyTeam Elite Plus | international flights of SkyTeam member airlines via predicate surface "validOn" ⓘ |
| SkyTeam Elite Plus | domestic flights of SkyTeam member airlines via predicate surface "validOn" ⓘ |
| Poincaré group |
Minkowski space-time
ⓘ
surface form:
four-dimensional Minkowski space
|
| Pascal's identity | k ≥ 1 in the form C(n,k) = C(n-1,k-1) + C(n-1,k) via predicate surface "constraintOnVariables" ⓘ |
| Pascal's identity | k ≤ n in the form C(n,k) = C(n-1,k-1) + C(n-1,k) via predicate surface "constraintOnVariables" ⓘ |
| Conway groups | finite sets via predicate surface "definedOver" ⓘ |
| Conway polynomial | isotopy classes of oriented links in S³ ⓘ |
| Lorentz group | four-dimensional real vector space ⓘ |
| MBTA CharlieCard |
MBTA
via predicate surface "validOn"
ⓘ
surface form:
MBTA subway
|
| MBTA CharlieCard |
MBTA bus network
via predicate surface "validOn"
ⓘ
surface form:
MBTA bus
|
| MBTA CharlieCard | MBTA Green Line via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | MBTA Orange Line via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | MBTA Red Line via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | MBTA Blue Line via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | MBTA Silver Line via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | some MBTA commuter rail services via predicate surface "validOn" ⓘ |
| MBTA CharlieCard | some MBTA ferry services via predicate surface "validOn" ⓘ |
| HMAC | iterated hash functions via predicate surface "definedOver" ⓘ |
| Muni Passport | Muni buses via predicate surface "validOn" ⓘ |
| Muni Passport |
San Francisco Muni
via predicate surface "validOn"
ⓘ
surface form:
Muni Metro light rail
|
| Muni Passport | historic streetcars via predicate surface "validOn" ⓘ |
| Muni Passport |
Muni F-Market & Wharves line
via predicate surface "validOn"
ⓘ
surface form:
F Market & Wharves historic streetcar line
|
| Muni Passport |
San Francisco cable car system
via predicate surface "validOn"
ⓘ
surface form:
San Francisco cable cars
|
| Muni Passport | Muni trolleybuses via predicate surface "validOn" ⓘ |
| Rényi divergence | discrete probability distributions via predicate surface "definedFor" ⓘ |
| Rényi divergence | continuous probability distributions via predicate surface "definedFor" ⓘ |
| Schwarzschild coordinates |
Schwarzschild black hole
via predicate surface "mathematicallyDefinedOn"
ⓘ
surface form:
Schwarzschild manifold
|
| RFC 792 | Internet Protocol via predicate surface "definesFor" ⓘ |
| RFC 792 | IP via predicate surface "definesFor" ⓘ |
| Prime Minister of Iraq |
Constitution of Iraq
via predicate surface "isDefinedIn"
ⓘ
surface form:
2005 Constitution of Iraq
|
| Poly1305 | prime field modulo 2^130-5 via predicate surface "definedOver" ⓘ |
| MAR | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| PKWN | 1944-07-22 via predicate surface "declaredOn" ⓘ |
| CYP |
ISO 3166-1
via predicate surface "isDefinedIn"
ⓘ
surface form:
ISO 3166-1 standard
|
| Riemann–Siegel formula | critical line Re(s)=1/2 via predicate surface "validOn" ⓘ |
| KAZ | ISO 3166-1 via predicate surface "isDefinedIn" ⓘ |
| Ricci flow | Riemannian manifold ⓘ |
|
Riemann surfaces
surface form:
Riemann surface
|
complex numbers via predicate surface "definedOver" ⓘ |
| Riemann zeta function | complex plane ⓘ |
| Klein quartic | complex numbers via predicate surface "definedOver" ⓘ |
| Klein quartic | rational numbers via predicate surface "definedOver" ⓘ |
| Klein quartic | algebraic numbers via predicate surface "definedOver" ⓘ |
| ORCA card | buses via predicate surface "validOn" ⓘ |
| ORCA card | light rail via predicate surface "validOn" ⓘ |
| ORCA card | commuter rail via predicate surface "validOn" ⓘ |
| ORCA card | streetcars via predicate surface "validOn" ⓘ |
| ORCA card | ferries via predicate surface "validOn" ⓘ |
| ORCA card | vanpools via predicate surface "validOn" ⓘ |
| ORCA card | some paratransit services via predicate surface "validOn" ⓘ |