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 |
|---|---|
|
FLRW metric
linked to:
FLRW cosmological models
|
four-dimensional spacetime ⓘ |
| Nash bargaining solution | feasible set must be compact and convex via predicate surface "domainRestriction" ⓘ |
| Nash bargaining solution | utilities at solution must weakly exceed disagreement utilities via predicate surface "domainRestriction" ⓘ |
| CharlieCard |
MBTA subway
via predicate surface "validOn"
ⓘ
linked to:
MBTA
|
| CharlieCard |
MBTA bus
via predicate surface "validOn"
ⓘ
linked to:
MBTA bus network
|
| CharlieCard | MBTA Silver Line via predicate surface "validOn" ⓘ |
| CharlieCard | MBTA Green Line via predicate surface "validOn" ⓘ |
| CharlieCard | MBTA Blue Line via predicate surface "validOn" ⓘ |
| CharlieCard | MBTA Orange Line via predicate surface "validOn" ⓘ |
| CharlieCard | MBTA Red Line via predicate surface "validOn" ⓘ |
| CharlieCard | some MBTA commuter rail zones when loaded with passes via predicate surface "validOn" ⓘ |
| CharlieCard | some MBTA ferry routes when loaded with passes via predicate surface "validOn" ⓘ |
| Kretschmann scalar | pseudo-Riemannian manifolds ⓘ |
| law of universal gravitation | non-relativistic speeds via predicate surface "domainOfValidity" ⓘ |
| law of universal gravitation | weak gravitational fields via predicate surface "domainOfValidity" ⓘ |
| Kullback–Leibler divergence | discrete probability distributions via predicate surface "definedFor" ⓘ |
| Kullback–Leibler divergence | continuous probability distributions via predicate surface "definedFor" ⓘ |
| Rényi entropy | α ≥ 0, α ≠ 1 via predicate surface "parameterDomain" ⓘ |
| KB | UnspecifiedDomain via predicate surface "isDefinedIn" ⓘ |
| RJ45 | voice applications via predicate surface "isDefinedFor" ⓘ |
| RJ45 | data applications via predicate surface "isDefinedFor" ⓘ |
| STARTTLS | SMTP via predicate surface "definedFor" ⓘ |
| Ricci curvature tensor | Riemannian manifold ⓘ |
| Ricci curvature tensor | pseudo-Riemannian manifold ⓘ |
| USB Micro-B |
USB 2.0 specification
via predicate surface "isDefinedIn"
ⓘ
linked to:
USB
|
| Einstein tensor | spacetime manifold ⓘ |
| Eddington–Finkelstein coordinates |
Schwarzschild spacetime
ⓘ
linked to:
Schwarzschild black hole
|
| Probabilistic Encryption | modern cryptography via predicate surface "isDefinedIn" ⓘ |
| CharlieTicket | MBTA rapid transit via predicate surface "validOn" ⓘ |
| CharlieTicket |
MBTA light rail
via predicate surface "validOn"
ⓘ
linked to:
MBTA Green Line
|
| CharlieTicket |
MBTA local bus
via predicate surface "validOn"
ⓘ
linked to:
MBTA bus network
|
| CharlieTicket | MBTA express bus via predicate surface "validOn" ⓘ |
| CharlieTicket | MBTA Silver Line via predicate surface "validOn" ⓘ |
| CharlieTicket | MBTA commuter rail (selected products) via predicate surface "validOn" ⓘ |
| CharlieTicket | MBTA ferry (selected products) via predicate surface "validOn" ⓘ |
| Apostolic Vicariate |
Code of Canon Law
via predicate surface "isDefinedIn"
ⓘ
linked to:
1917 Code of Canon Law
|
| Apostolic Vicariate | Code of Canons of the Eastern Churches via predicate surface "isDefinedIn" ⓘ |
| Minkowski sum | subsets of a vector space ⓘ |
| Minkowski sum | subsets of Euclidean space ⓘ |
|
von Neumann algebra
linked to:
von Neumann algebras
|
Hilbert space ⓘ |
| Dirac equation |
Minkowski spacetime
via predicate surface "definedOver"
ⓘ
linked to:
Minkowski space-time
|
| Levi-Civita connection | Riemannian manifold ⓘ |
| Levi-Civita connection | pseudo-Riemannian manifold ⓘ |
| Riemann curvature tensor | Riemannian manifold ⓘ |
| Riemann curvature tensor | pseudo-Riemannian manifold ⓘ |
| Annex 1 Areas of Concern |
Annex 1 of the Great Lakes Water Quality Agreement
via predicate surface "isDefinedIn"
ⓘ
linked to:
Annex 1 Areas of Concern
|
| Kalai–Smorodinsky bargaining solution | two-person bargaining problems via predicate surface "definedFor" ⓘ |
| Gaussian distribution | real numbers ⓘ |
| Gaussian integral | (−∞, ∞) via predicate surface "domainOfIntegration" ⓘ |
| Noetherian module | ring via predicate surface "definedOver" ⓘ |